Results 71 to 80 of about 763,157 (113)
Some of the next articles are maybe not open access.
Autoepistemic Description Logics
1998A non-first-order extension of description logics (DL) which is able to both formalize the nonmonotonic features of knowledge representation (KR) systems, and to provide a computational characterization of reasoning in such a setting, is defined.
openaire +1 more source
A note on Moore's autoepistemic logic, (Comments following Moore's chapter on autoepistemic logic)
1988International ...
openaire +1 more source
Relating fuzzy autoepistemic logic and KD45 modal logic
2012Relating fuzzy autoepistemic logic and Lukasiewicz KD45 modal ...
Blondeel, Marjon +2 more
openaire +1 more source
All I Know: A Study in Autoepistemic Logic
Artificial Intelligence, 1990H. Levesque
semanticscholar +1 more source
Well-founded approximations of autoepistemic logic
1993Autoepistemic Logic is used as a unifying principle for the introduction of stable states for disjunctive logic programs and programs with strong negation. But as stable states are a generalization of stable models, their computational complexity prevents them from being implemented in knowledge representation systems.
openaire +1 more source
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing
International Conference on Climate Informatics, 1993Joseph Y. Halpern
semanticscholar +1 more source
A complete logic for autoepistemic membership
1991The driving force behind the theory of non-monotonic reasoning is the wish to draw conclusions in the face of missing information. Therefore, one way to understand non-monotonic reasoning is to realize that not only knowledge, but also absence of knowledge enables certain conclusions.
openaire +1 more source
Logic-in-memory based on an atomically thin semiconductor
Nature, 2020Guilherme Migliato Marega +2 more
exaly