Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Autoepistemic_logic> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items 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 wikiPageRevisionID "582746523".
- Autoepistemic_logic hasPhotoCollection Autoepistemic_logic.
- Autoepistemic_logic subject Category:Knowledge.
- Autoepistemic_logic subject Category:Logic_programming.
- Autoepistemic_logic subject Category:Modal_logic.
- 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 label "Lógica autoepistêmica".
- Autoepistemic_logic label "自动认识逻辑".
- Autoepistemic_logic label "自己認識論理".
- 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 wasDerivedFrom Autoepistemic_logic?oldid=582746523.
- Autoepistemic_logic isPrimaryTopicOf Autoepistemic_logic.