Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Stable_model_semantics> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples per page.
- Stable_model_semantics abstract "The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis ofanswer set programming.".
- Stable_model_semantics wikiPageExternalLink assat-aij-revised.pdf.
- Stable_model_semantics wikiPageExternalLink clnegdd.ps.
- Stable_model_semantics wikiPageExternalLink mfasp.ps.
- Stable_model_semantics wikiPageExternalLink stable.ps.
- Stable_model_semantics wikiPageExternalLink kowalski-van_emden.pdf.
- Stable_model_semantics wikiPageExternalLink ilps93.ps.gz.
- Stable_model_semantics wikiPageExternalLink AAAI87-037.pdf.
- Stable_model_semantics wikiPageID "4224978".
- Stable_model_semantics wikiPageLength "29061".
- Stable_model_semantics wikiPageOutDegree "49".
- Stable_model_semantics wikiPageRevisionID "707237376".
- Stable_model_semantics wikiPageWikiLink Answer_set_programming.
- Stable_model_semantics wikiPageWikiLink Antecedent_(logic).
- Stable_model_semantics wikiPageWikiLink Antichain.
- Stable_model_semantics wikiPageWikiLink Autoepistemic_logic.
- Stable_model_semantics wikiPageWikiLink Category:Logic_programming.
- Stable_model_semantics wikiPageWikiLink Closed-world_assumption.
- Stable_model_semantics wikiPageWikiLink Consequent.
- Stable_model_semantics wikiPageWikiLink Default_logic.
- Stable_model_semantics wikiPageWikiLink Drew_McDermott.
- Stable_model_semantics wikiPageWikiLink Eight_queens_puzzle.
- Stable_model_semantics wikiPageWikiLink Ground_expression.
- Stable_model_semantics wikiPageWikiLink John_McCarthy_(computer_scientist).
- Stable_model_semantics wikiPageWikiLink Knowledge_representation_and_reasoning.
- Stable_model_semantics wikiPageWikiLink Kripke_semantics.
- Stable_model_semantics wikiPageWikiLink Literal_(mathematical_logic).
- Stable_model_semantics wikiPageWikiLink Logic_programming.
- Stable_model_semantics wikiPageWikiLink Modal_operator.
- Stable_model_semantics wikiPageWikiLink Model_theory.
- Stable_model_semantics wikiPageWikiLink NP-completeness.
- Stable_model_semantics wikiPageWikiLink Negation_as_failure.
- Stable_model_semantics wikiPageWikiLink Non-monotonic_logic.
- Stable_model_semantics wikiPageWikiLink Open-world_assumption.
- Stable_model_semantics wikiPageWikiLink Polynomial_hierarchy.
- Stable_model_semantics wikiPageWikiLink Prolog.
- Stable_model_semantics wikiPageWikiLink Propositional_calculus.
- Stable_model_semantics wikiPageWikiLink Propositional_formula.
- Stable_model_semantics wikiPageWikiLink Raymond_Reiter.
- Stable_model_semantics wikiPageWikiLink Robert_Kowalski.
- Stable_model_semantics wikiPageWikiLink Rule_of_inference.
- Stable_model_semantics wikiPageWikiLink SLD_resolution.
- Stable_model_semantics wikiPageWikiLink Tautology_(logic).
- Stable_model_semantics wikiPageWikiLink Truth_table.
- Stable_model_semantics wikiPageWikiLink Truth_value.
- Stable_model_semantics wikiPageWikiLink Well-founded_semantics.
- Stable_model_semantics wikiPageWikiLinkText "Stable model semantics".
- Stable_model_semantics wikiPageWikiLinkText "propositional formulas under the stable model semantics".
- Stable_model_semantics wikiPageWikiLinkText "rules with constraints".
- Stable_model_semantics wikiPageWikiLinkText "stable model semantics".
- Stable_model_semantics wikiPageWikiLinkText "stable model".
- Stable_model_semantics wikiPageWikiLinkText "stable".
- Stable_model_semantics wikiPageWikiLinkText "strong negation".
- Stable_model_semantics wikiPageUsesTemplate Template:Not_a_typo.
- Stable_model_semantics wikiPageUsesTemplate Template:Reflist.
- Stable_model_semantics subject Category:Logic_programming.
- Stable_model_semantics comment "The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis ofanswer set programming.".
- Stable_model_semantics label "Stable model semantics".
- Stable_model_semantics sameAs Q7595770.
- Stable_model_semantics sameAs Semântica_de_modelo_estável.
- Stable_model_semantics sameAs m.0bqxfh.
- Stable_model_semantics sameAs Семантика_стійких_моделей.
- Stable_model_semantics sameAs Q7595770.
- Stable_model_semantics wasDerivedFrom Stable_model_semantics?oldid=707237376.
- Stable_model_semantics isPrimaryTopicOf Stable_model_semantics.