Results 51 to 60 of about 763,157 (113)
Some of the next articles are maybe not open access.
Embedding Minimal Knowledge into Autoepistemic Logic
International Conference of the Italian Association for Artificial Intelligence, 1997We investigate the epistemological properties of MKNF, Lifschitz's logic of minimal knowledge and negation as failure. In particular, we show that the expressive power of MKNF is equivalent to Moore's autoepistemic logic (AEL), by defining an embedding of MKNF into AEL and vice versa.
R. Rosati
semanticscholar +2 more sources
On the relationship between assumption-based framework and autoepistemic logic
Journal of Automated Reasoning, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ying Jiang, Yongyuth Aramkulchai
openalex +3 more sources
Reiter Defaults and Autoepistemic Logic
, 2016D. Gabbay, K. Schlechta
semanticscholar +2 more sources
Fundamenta Informaticae, 2020
This paper presents a general strategy, bringing together some major types of nonmonotonic reasoning under a monotonic bimodal setting. Such formalisms are also of interest to the fields of knowledge representation and declarative programming.
Ezgi Iraz Su
semanticscholar +1 more source
This paper presents a general strategy, bringing together some major types of nonmonotonic reasoning under a monotonic bimodal setting. Such formalisms are also of interest to the fields of knowledge representation and declarative programming.
Ezgi Iraz Su
semanticscholar +1 more source
Intuitionistic Autoepistemic Logic
Studia Logica, 1997Intuitionistic propositional logic with an S5-type possibility operator is proposed as a logic of intuitionistically stable sets.
GIANNI AMATI +2 more
openaire +2 more sources
The power of beliefs or translating default logic into standard autoepistemic logic
International Joint Conference on Artificial Intelligence, 1994 Georg Gottlob
openalex +2 more sources
On the relation between default and autoepistemic logic
Artificial Intelligence, 1988 Kurt Konolige
openalex +2 more sources
Autoepistemic logic programming
Journal of Automated Reasoning, 1993zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
Fundamenta Informaticae, 2007We study the transformation of "predicate introduction" in non-monotonic logics. By this, we mean the act of replacing a complex formula by a newly defined predicate.
Joost Vennekens +3 more
semanticscholar +1 more source
Multi-valued autoepistemic logic
Annals of Mathematics and Artificial Intelligence, 1996zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source