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/aspcomp2013 http://www.nku.edu/~wardj1/Research/smodels_cc.html http://www.tcs.hut.fi/Software/smodels/ 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/dlv-complex/ http://www.tcs.hut.fi/Software/gnt/ http://www.tcs.hut.fi/Software/smodels/lparse.ps https://web.archive.org/web/20080223132705/http:/asparagus.cs.uni-potsdam.de/contest/ https://web.archive.org/web/20110717180541/http:/assat.cs.ust.hk/ https://github.com/MatthiasNickles/diff-SAT/
dbo:wikiPageWikiLink	dbr:Coinduction dbr:Action_language dbr:Trial_and_error dbr:Linux dbr:Microsoft_Windows dbr:Clique_(graph_theory) dbr:Prolog dbr:Freeware dbr:MIT_License dbr:MacOS dbr:Natural_language_processing dbr:Declarative_programming dbr:Automated_planning_and_scheduling dbr:Non-monotonic_logic dbr:Propositional_formula dbr:Infinite_loop dbr:Graph_coloring dbr:Backtracking dbr:Graph_(discrete_mathematics) dbr:Path_(graph_theory) dbr:Directed_graph dbr:DPLL_algorithm dbr:Search_algorithm dbr:Default_logic dbr:Parsing dbr:Programming_paradigm dbr:Java_virtual_machine dbr:Logic_programming dbr:Resolution_(logic) dbc:Logic_programming dbr:Stable_model_semantics dbr:Hamiltonian_cycle dbr:GPL dbr:Solaris_(operating_system) dbr:Symbol_grounding dbr:NP-hard dbr:Knowledge_representation dbr:DLV dbr:Product_configuration dbr:Excluded_middle dbr:Boolean_SAT_solver dbr:Pseudo-boolean
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:Okay dbt:Programming_paradigms_navbox dbt:Distinguish dbt:No dbt:Reflist dbt:Short_description dbt:Webarchive dbt:Yes
dct:subject	dbc:Logic_programming
gold:hypernym	dbr:Form
rdf:type	owl:Thing owl:Thing
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-es:Answer set programming dbpedia-it:Answer set programming dbpedia-fr:Answer set programming dbpedia-pt:Answer set programming dbpedia-ru:Answer set programming dbpedia-zh:Answer set programming dbpedia-fa: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:AnsProlog dbr:Answer-set_programming dbr:Answer_Set_Programming dbr:Answer_set_program dbr:Disjunctive_logic_programming dbr:Lparse
is dbo:wikiPageWikiLink of	dbr:Marius_Lindauer dbr:Negation_as_failure dbr:Activity_recognition dbr:B-Prolog dbr:Prolog dbr:Frame_problem dbr:Rule_Interchange_Format dbr:Superoptimization dbr:Algorithm_selection dbr:Datalog dbr:ASP dbr:Default_logic dbr:Knowledge-based_configuration dbr:Constraint_satisfaction_problem dbr:Logic_programming dbr:Nicola_Leone dbr:GOAL_agent_programming_language dbr:Probabilistic_programming dbr:Satisfiability_modulo_theories dbr:Abductive_logic_programming dbr:Outline_of_computer_programming dbr:Stable_model_semantics dbr:Glossary_of_computer_science dbr:Glossary_of_artificial_intelligence dbr:DLV dbr:AnsProlog dbr:Answer-set_programming dbr:Answer_Set_Programming dbr:Answer_set_program dbr:Disjunctive_logic_programming dbr:Lparse
is foaf:primaryTopic of	wikipedia-en:Answer_set_programming