Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too [PDF]
, 2011 Marc Denecker +2 more
openalex +2 more sources
There Is Hope After All: Quantifying Opinion and Trustworthiness in Neural Networks. [PDF]
Front Artif Intell, 2020 Cheng M, Nazarian S, Bogdan P.
europepmc +1 more source
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions [PDF]
, 2019 Diego Agustín Ambrossio, Marcos Cramer
openalex +1 more source
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination [PDF]
, 2008 Jos de Bruijn +3 more
openalex +2 more sources
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control [PDF]
, 2023 Marcos Cramer +3 more
openalex +1 more source
Strong-AI Autoepistemic Robots Build on Intensional First Order Logic [PDF]
, 2022 Zoran Majkić
openalex +1 more source
On the Parameterized Complexity of Default Logic and Autoepistemic Logic [PDF]
, 2011 Arne Meier +3 more
openalex +1 more source
The Complexity of Reasoning for Fragments of Autoepistemic Logic [PDF]
, 2012 Nadia Creignou +3 more
openalex +2 more sources
On embedding default logic into Moore's autoepistemic logic
Artificial Intelligence, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Autoepistemic logic of knowledge and beliefs
Artificial Intelligence, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources