Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Stable_model_semantics> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items 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 autoepistemic.pdf.
- 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 wikiPageID "4224978".
- Stable_model_semantics wikiPageRevisionID "577861567".
- Stable_model_semantics hasPhotoCollection Stable_model_semantics.
- 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 "Semântica de modelo estável".
- Stable_model_semantics label "Stable model semantics".
- Stable_model_semantics sameAs Semântica_de_modelo_estável.
- Stable_model_semantics sameAs m.0bqxfh.
- Stable_model_semantics sameAs Q7595770.
- Stable_model_semantics sameAs Q7595770.
- Stable_model_semantics wasDerivedFrom Stable_model_semantics?oldid=577861567.
- Stable_model_semantics isPrimaryTopicOf Stable_model_semantics.