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