Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Autoepistemic_logic> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples per page.
- Autoepistemic_logic abstract "The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts.The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic.".
- Autoepistemic_logic wikiPageExternalLink books?id=xd57Kjl60q0C&pg=PA675.
- Autoepistemic_logic wikiPageExternalLink citation.cfm?id=116825.116836.
- Autoepistemic_logic wikiPageExternalLink citation.cfm?id=210332.210334.
- Autoepistemic_logic wikiPageExternalLink 0004370285900426.
- Autoepistemic_logic wikiPageID "2738697".
- Autoepistemic_logic wikiPageLength "6203".
- Autoepistemic_logic wikiPageOutDegree "18".
- Autoepistemic_logic wikiPageRevisionID "675441510".
- Autoepistemic_logic wikiPageWikiLink Category:Knowledge.
- Autoepistemic_logic wikiPageWikiLink Category:Logic_programming.
- Autoepistemic_logic wikiPageWikiLink Category:Modal_logic.
- Autoepistemic_logic wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Autoepistemic_logic wikiPageWikiLink Logic.
- Autoepistemic_logic wikiPageWikiLink Logic_programming.
- Autoepistemic_logic wikiPageWikiLink Logical_consequence.
- Autoepistemic_logic wikiPageWikiLink Modal_logic.
- Autoepistemic_logic wikiPageWikiLink Negation_as_failure.
- Autoepistemic_logic wikiPageWikiLink Non-monotonic_logic.
- Autoepistemic_logic wikiPageWikiLink Probabilistic_logic_network.
- Autoepistemic_logic wikiPageWikiLink Propositional_calculus.
- Autoepistemic_logic wikiPageWikiLink Propositional_formula.
- Autoepistemic_logic wikiPageWikiLink Propositional_logic.
- Autoepistemic_logic wikiPageWikiLink Stable_model_semantics.
- Autoepistemic_logic wikiPageWikiLink Syntax.
- Autoepistemic_logic wikiPageWikiLink Uncertain_inference.
- Autoepistemic_logic wikiPageWikiLinkText "Autoepistemic logic".
- Autoepistemic_logic wikiPageWikiLinkText "autoepistemic logic".
- Autoepistemic_logic wikiPageWikiLinkText "crisp known/unknown values".
- Autoepistemic_logic hasPhotoCollection Autoepistemic_logic.
- Autoepistemic_logic wikiPageUsesTemplate Template:Cite_book.
- Autoepistemic_logic wikiPageUsesTemplate Template:Cite_journal.
- Autoepistemic_logic wikiPageUsesTemplate Template:Refbegin.
- Autoepistemic_logic wikiPageUsesTemplate Template:Refend.
- Autoepistemic_logic subject Category:Knowledge.
- Autoepistemic_logic subject Category:Logic_programming.
- Autoepistemic_logic subject Category:Modal_logic.
- Autoepistemic_logic hypernym Logic.
- Autoepistemic_logic type Concept.
- Autoepistemic_logic comment "The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts.The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic.".
- Autoepistemic_logic label "Autoepistemic logic".
- Autoepistemic_logic sameAs 自己認識論理.
- Autoepistemic_logic sameAs Lógica_autoepistêmica.
- Autoepistemic_logic sameAs m.0802vn.
- Autoepistemic_logic sameAs Q4826262.
- Autoepistemic_logic sameAs Q4826262.
- Autoepistemic_logic sameAs 自动认识逻辑.
- Autoepistemic_logic wasDerivedFrom Autoepistemic_logic?oldid=675441510.
- Autoepistemic_logic isPrimaryTopicOf Autoepistemic_logic.