Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Answer_set_programming> ?p ?o }
Showing triples 1 to 88 of
88
with 100 triples per page.
- Answer_set_programming abstract "Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers — programs for generating stable models—are used to perform search. The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop).In a more general sense, ASP includes all applications of answer sets to knowledge representation and the use of Prolog-style query evaluation for solving problems arising in these applications.".
- Answer_set_programming wikiPageExternalLink contest.
- Answer_set_programming wikiPageExternalLink assat.cs.ust.hk.
- Answer_set_programming wikiPageExternalLink potassco.sourceforge.net.
- Answer_set_programming wikiPageExternalLink index.shtml.
- Answer_set_programming wikiPageExternalLink pbmodels.
- Answer_set_programming wikiPageExternalLink clasp.
- Answer_set_programming wikiPageExternalLink nomore.
- Answer_set_programming wikiPageExternalLink platypus.
- Answer_set_programming wikiPageExternalLink cmodels.
- Answer_set_programming wikiPageExternalLink sup.
- Answer_set_programming wikiPageExternalLink dlv.
- Answer_set_programming wikiPageExternalLink asperix.
- Answer_set_programming wikiPageExternalLink deb.html.
- Answer_set_programming wikiPageExternalLink aspcomp2011.
- Answer_set_programming wikiPageExternalLink aspcomp2013.
- Answer_set_programming wikiPageExternalLink dlv-complex.
- Answer_set_programming wikiPageExternalLink smodels_cc.html.
- Answer_set_programming wikiPageExternalLink gnt.
- Answer_set_programming wikiPageExternalLink smodels.
- Answer_set_programming wikiPageExternalLink lparse.ps.
- Answer_set_programming wikiPageID "2386211".
- Answer_set_programming wikiPageLength "22213".
- Answer_set_programming wikiPageOutDegree "68".
- Answer_set_programming wikiPageRevisionID "680392447".
- Answer_set_programming wikiPageWikiLink Action_language.
- Answer_set_programming wikiPageWikiLink Automated_planning_and_scheduling.
- Answer_set_programming wikiPageWikiLink Boolean_SAT_solver.
- Answer_set_programming wikiPageWikiLink Boolean_satisfiability_problem.
- Answer_set_programming wikiPageWikiLink Category:Logic_programming.
- Answer_set_programming wikiPageWikiLink Clique_(graph_theory).
- Answer_set_programming wikiPageWikiLink DLV.
- Answer_set_programming wikiPageWikiLink DPLL_algorithm.
- Answer_set_programming wikiPageWikiLink Declarative_programming.
- Answer_set_programming wikiPageWikiLink Default_logic.
- Answer_set_programming wikiPageWikiLink Directed_graph.
- Answer_set_programming wikiPageWikiLink Excluded_middle.
- Answer_set_programming wikiPageWikiLink Freeware.
- Answer_set_programming wikiPageWikiLink GNU_General_Public_License.
- Answer_set_programming wikiPageWikiLink GPL.
- Answer_set_programming wikiPageWikiLink Graph_(mathematics).
- Answer_set_programming wikiPageWikiLink Graph_coloring.
- Answer_set_programming wikiPageWikiLink Hamiltonian_cycle.
- Answer_set_programming wikiPageWikiLink Hamiltonian_path.
- Answer_set_programming wikiPageWikiLink Infinite_loop.
- Answer_set_programming wikiPageWikiLink Knowledge_representation.
- Answer_set_programming wikiPageWikiLink Knowledge_representation_and_reasoning.
- Answer_set_programming wikiPageWikiLink Law_of_excluded_middle.
- Answer_set_programming wikiPageWikiLink Linux.
- Answer_set_programming wikiPageWikiLink Logic_programming.
- Answer_set_programming wikiPageWikiLink Mac_OS.
- Answer_set_programming wikiPageWikiLink Microsoft_Windows.
- Answer_set_programming wikiPageWikiLink NP-hard.
- Answer_set_programming wikiPageWikiLink NP-hardness.
- Answer_set_programming wikiPageWikiLink Natural_language_processing.
- Answer_set_programming wikiPageWikiLink Non-monotonic_logic.
- Answer_set_programming wikiPageWikiLink Parsing.
- Answer_set_programming wikiPageWikiLink Path_(graph_theory).
- Answer_set_programming wikiPageWikiLink Prolog.
- Answer_set_programming wikiPageWikiLink Propositional_formula.
- Answer_set_programming wikiPageWikiLink Pseudo-boolean.
- Answer_set_programming wikiPageWikiLink Search_algorithm.
- Answer_set_programming wikiPageWikiLink Solaris_(operating_system).
- Answer_set_programming wikiPageWikiLink Stable_model_semantics.
- Answer_set_programming wikiPageWikiLink Trial_and_error.
- Answer_set_programming wikiPageWikiLinkText "Answer set programming".
- Answer_set_programming wikiPageWikiLinkText "Answer set programming#Answer set programming language AnsProlog".
- Answer_set_programming wikiPageWikiLinkText "Answer set".
- Answer_set_programming wikiPageWikiLinkText "Answer_set_programming#Answer_set_programming_language_AnsProlog".
- Answer_set_programming wikiPageWikiLinkText "answer set programming".
- Answer_set_programming hasPhotoCollection Answer_set_programming.
- Answer_set_programming wikiPageUsesTemplate Template:No.
- Answer_set_programming wikiPageUsesTemplate Template:Okay.
- Answer_set_programming wikiPageUsesTemplate Template:Programming_paradigms.
- Answer_set_programming wikiPageUsesTemplate Template:Reflist.
- Answer_set_programming wikiPageUsesTemplate Template:Yes.
- Answer_set_programming subject Category:Logic_programming.
- Answer_set_programming hypernym Form.
- Answer_set_programming comment "Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers — programs for generating stable models—are used to perform search.".
- Answer_set_programming label "Answer set programming".
- Answer_set_programming sameAs Answer_set_programming.
- Answer_set_programming sameAs Programação_de_conjunto_de_resposta.
- Answer_set_programming sameAs m.0789x5.
- Answer_set_programming sameAs Q2852531.
- Answer_set_programming sameAs Q2852531.
- Answer_set_programming sameAs 回答集编程.
- Answer_set_programming wasDerivedFrom Answer_set_programming?oldid=680392447.
- Answer_set_programming isPrimaryTopicOf Answer_set_programming.