About: Stable model semantics

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

unknown

Property	Value
dbo:wikiPageExternalLink	https://www.aaai.org/Papers/AAAI/1987/AAAI87-037.pdf https://link.springer.com/chapter/10.1007/11546207_10 http://www.cs.utexas.edu/users/vl/papers/clnegdd.ps http://www.cs.utexas.edu/users/vl/papers/mfasp.ps http://www.cs.utexas.edu/users/vl/papers/stable.ps http://www.doc.ic.ac.uk/~rak/papers/kowalski-van_emden.pdf http://www.cs.ust.hk/faculty/flin/papers/assat-aij-revised.pdf http://www.umiacs.umd.edu/~horty/courses/readings/reiter-default-1980.pdf http://www.kr.tuwien.ac.at/staff/eiter/et-archive/ilps93.ps.gz http://ai2-s2-pdfs.s3.amazonaws.com/37f3/19f2f8af842631ff9972e1bfd91b99f93511.pdf https://dx.doi.org/10.1016/0004-3702%2887%2990043-9 https://www.researchgate.net/publication/220492237
dbo:wikiPageWikiLink	dbr:Modal_operator dbc:Logic_programming dbr:Logic_programming dbr:Prolog dbr:Antichain dbr:Ground_expression dbr:Propositional_logic dbr:Polynomial_hierarchy dbr:Propositional_formula dbr:Negation_as_failure dbr:Autoepistemic_logic dbr:Answer_set_programming dbr:Kripke_semantics dbr:Tautology_(logic) dbr:Eight_queens_puzzle dbr:Default_logic dbr:Antecedent_(logic) dbr:Consequent dbr:Semantics_(computer_science) dbr:John_McCarthy_(computer_scientist) dbr:Negation dbr:Truth_value dbr:Open_world_assumption dbc:Model_theory dbr:Model_theory dbr:SLD_resolution dbr:Literal_(mathematical_logic) dbr:Michael_Gelfond dbr:Well-founded_semantics dbr:NP-complete dbr:Knowledge_representation dbr:Closed_world_assumption dbr:Nonmonotonic_logic dbr:Inference_rule dbr:Truth_tables
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Reflist dbt:Cite_journal dbt:Mvar dbt:Tmath
dct:subject	dbc:Logic_programming
rdfs:label	Stable model semantics (en) Sémantique des modèles stables (fr) Semantica del modello stabile (it) Semântica de modelo estável (pt) Семантика стійких моделей (uk)
owl:sameAs	freebase:Stable model semantics wikidata:Stable model semantics dbpedia-it:Stable model semantics dbpedia-fr:Stable model semantics dbpedia-pt:Stable model semantics dbpedia-uk:Stable model semantics dbpedia-global:Stable model semantics
prov:wasDerivedFrom	wikipedia-en:Stable_model_semantics?oldid=1235984249&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Stable_model_semantics
is dbo:wikiPageRedirects of	dbr:Answer_set dbr:Answer_set_semantics dbr:Stable_model
is dbo:wikiPageWikiLink of	dbr:Logic_programming dbr:Rule_Interchange_Format dbr:Non-monotonic_logic dbr:Negation_as_failure dbr:Autoepistemic_logic dbr:Horn_clause dbr:Answer_set_programming dbr:Closed-world_assumption dbr:Glossary_of_artificial_intelligence dbr:Michael_Gelfond dbr:Frame_problem dbr:DLV dbr:Vladimir_Lifschitz dbr:Well-founded_semantics dbr:François_Fages dbr:Open-world_assumption dbr:Answer_set dbr:Answer_set_semantics dbr:Stable_model
is foaf:primaryTopic of	wikipedia-en:Stable_model_semantics