About: Answer set programming

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Programming paradigm focused on difficult search problems

Property	Value
dbo:description	paradigma di programmazione logica (it) programming paradigm focused on difficult search problems (en) paradigma de programació centrat en problemes de cerca difícils (ca)
dbo:wikiPageExternalLink	http://www.cs.kuleuven.be/~dtai/events/ASP-competition/index.shtml http://www.cs.uky.edu/ai/pbmodels/ http://www.cs.uni-potsdam.de/nomore/ http://www.dbai.tuwien.ac.at/proj/dlv/ http://www.info.univ-angers.fr/pub/claire/asperix/ http://www.kr.tuwien.ac.at/staff/tkren/deb.html http://www.mat.unical.it/dlv-complex/ http://www.nku.edu/~wardj1/Research/smodels_cc.html http://www.tcs.hut.fi/Software/gnt/ https://potassco.org/ https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf http://www.cs.utexas.edu/users/tag/cmodels/ http://www.cs.utexas.edu/users/tag/sup/ http://www.cs.uni-potsdam.de/clasp/ http://www.cs.uni-potsdam.de/platypus/ http://www.mat.unical.it/aspcomp2011/ http://www.mat.unical.it/aspcomp2013 http://www.tcs.hut.fi/Software/smodels/ http://www.tcs.hut.fi/Software/smodels/lparse.ps https://github.com/MatthiasNickles/diff-SAT/ https://web.archive.org/web/20080223132705/http:/asparagus.cs.uni-potsdam.de/contest/ https://web.archive.org/web/20110717180541/http:/assat.cs.ust.hk/
dbo:wikiPageWikiLink	dbr:Backtracking dbr:Declarative_programming dbc:Logic_programming dbr:Hamiltonian_cycle dbr:Logic_programming dbr:Clique_(graph_theory) dbr:Resolution_(logic) dbr:Natural_language_processing dbr:Prolog dbr:Coinduction dbr:Non-monotonic_logic dbr:Propositional_formula dbr:MIT_License dbr:Path_(graph_theory) dbr:Freeware dbr:Linux dbr:Microsoft_Windows dbr:Directed_graph dbr:Java_virtual_machine dbr:Parsing dbr:Default_logic dbr:Graph_coloring dbr:Action_language dbr:MacOS dbr:Infinite_loop dbr:Programming_paradigm dbr:Automated_planning_and_scheduling dbr:Symbol_grounding dbr:Boolean_SAT_solver dbr:Search_algorithm dbr:Graph_(discrete_mathematics) dbr:DPLL_algorithm dbr:Trial_and_error dbr:DLV dbr:Stable_model_semantics dbr:Solaris_(operating_system) dbr:NP-hard dbr:Knowledge_representation dbr:GPL dbr:Excluded_middle dbr:Pseudo-boolean dbr:Product_configuration
dbp:date	2015-11-15 (xsd:date) 2016-11-08 (xsd:date)
dbp:url	https://web.archive.org/web/20151115171208/http:/www.nku.edu/~wardj1/Research/smodels_cc.html https://web.archive.org/web/20161108121331/http:/www.info.univ-angers.fr/pub/claire/asperix/
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:No dbt:Okay dbt:Yes dbt:Distinguish dbt:Programming_paradigms_navbox dbt:Webarchive dbt:Short_description
dct:subject	dbc:Logic_programming
gold:hypernym	dbr:Form
rdfs:label	Answer set programming (en) Programación de conjuntos de respuestas (es) Answer set programming (fr) Answer set programming (it) Programação de conjunto de resposta (pt) Программирование наборов ответов (ru) Програмування наборами відповідей (uk) 回答集编程 (zh)
owl:differentFrom	dbr:Active_Server_Pages
owl:sameAs	yago-res:Answer set programming freebase:Answer set programming wikidata:Answer set programming dbpedia-it:Answer set programming dbpedia-fr:Answer set programming dbpedia-zh:Answer set programming dbpedia-pt:Answer set programming dbpedia-es:Answer set programming dbpedia-fa:Answer set programming dbpedia-ru:Answer set programming dbpedia-sr:Answer set programming dbpedia-uk:Answer set programming dbpedia-global:Answer set programming
prov:wasDerivedFrom	wikipedia-en:Answer_set_programming?oldid=1222937789&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Answer_set_programming
is dbo:wikiPageDisambiguates of	dbr:ASP
is dbo:wikiPageRedirects of	dbr:Disjunctive_logic_programming dbr:AnsProlog dbr:Answer-set_programming dbr:Answer_Set_Programming dbr:Answer_set_program dbr:Lparse
is dbo:wikiPageWikiLink of	dbr:Logic_programming dbr:Constraint_satisfaction_problem dbr:Rule_Interchange_Format dbr:Satisfiability_modulo_theories dbr:Prolog dbr:Superoptimization dbr:Knowledge-based_configuration dbr:Datalog dbr:Negation_as_failure dbr:Default_logic dbr:Probabilistic_programming dbr:Activity_recognition dbr:ASP dbr:Abductive_logic_programming dbr:Glossary_of_computer_science dbr:Glossary_of_artificial_intelligence dbr:Frame_problem dbr:GOAL_agent_programming_language dbr:DLV dbr:Stable_model_semantics dbr:B-Prolog dbr:Algorithm_selection dbr:Outline_of_computer_programming dbr:Nicola_Leone dbr:Marius_Lindauer dbr:Disjunctive_logic_programming dbr:AnsProlog dbr:Answer-set_programming dbr:Answer_Set_Programming dbr:Answer_set_program dbr:Lparse
is foaf:primaryTopic of	wikipedia-en:Answer_set_programming