Results 51 to 60 of about 1,092 (104)
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
Marc Denecker +2 more
openalex +2 more sources
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
Diego Agustín Ambrossio, Marcos Cramer
openalex +2 more sources
On the Parameterized Complexity of Default Logic and Autoepistemic Logic
Arne Meier +3 more
openalex +2 more sources
On embedding default logic into Moore's autoepistemic logic
Grigori Schwarz
openalex +1 more source
Towards a deeper understanding of nonmonotonic reasoning with degrees [PDF]
Blondeel, Marjon +3 more
core
Founded World Views with Autoepistemic Equilibrium Logic
Pedro Cabalar +2 more
openalex +2 more sources
Autoepistemic logics as a unifying framework for the semantics of logic programs
Piero A. Bonatti
openalex +1 more source
The Complexity of Theorem Proving in Autoepistemic Logic [PDF]
Olaf Beyersdorff
openalex +1 more source

