Results 21 to 30 of about 763,157 (113)
Strong-AI Autoepistemic Robots Build on Intensional First Order Logic [PDF]
, 2022 Zoran Majkić
openalex +1 more source
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
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good\n One, Too [PDF]
, 2011 Marc Denecker +2 more
openalex +2 more sources
Fixpoint 3-valued semantics for autoepistemic logic [PDF]
, 1999 Marc Denecker +2 more
openalex +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 Jianmin Ji, Hannes Straß
openalex +1 more source
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
Minimally inconsistent reasoning in Semantic Web. [PDF]
PLoS One, 2017 Zhang X.
europepmc +1 more source
Open biomedical pluralism: formalising knowledge about breast cancer phenotypes. [PDF]
J Biomed Semantics, 2012 Sojic A, Kutz O.
europepmc +1 more source