Results 21 to 30 of about 1,092 (104)
The Gödel and the Splitting Translations [PDF]
, 2010 When the new research area of logic programming and non-monotonic reasoning emerged at the end of the 1980s, it focused notably on the study of mathematical relations between different non-monotonic formalisms, especially between the semantics of stable ...
Pearce, David Andrew
core
On cascade products of answer set programs
, 2014 Describing complex objects by elementary ones is a common strategy in mathematics and science in general. In their seminal 1965 paper, Kenneth Krohn and John Rhodes showed that every finite deterministic automaton can be represented (or "emulated") by a ...
Antić, Christian
core +1 more source
Propositional semantics for default logic [PDF]
, 1992 We present new semantics for propositional default logic based on the notion of meta-interpretations - truth functions that assign truth values to clauses rather than letters.
Ben-Eliyahu, Rachel, Dechter, Rina
core
Where Fail-Safe Default Logics Fail
, 2004 Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition.
Cholewinski P. +8 more
core +1 more source
Epistemic Equilibrium Logic [PDF]
, 2015 International audienceWe add epistemic modal operators to the language of here-and-there logic and define epistemic here-and-there models.We then successively define epistemic equilibrium models and autoepistemic equilibrium models.
Fariñas del Cerro, Luis +2 more
core +1 more source
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control
, 2023 Marcos Cramer +3 more
openalex +2 more sources
Uniform semantic treatment of default and autoepistemic logics [PDF]
, 2003 Marc Denecker +2 more
openalex +1 more source
Translating Multi-Agent Autoepistemic Logic into Logic Program
, 2002 Takahiro Kojima +2 more
openalex +3 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
, 2004 Knowing the norms of a domain is crucial, but there exist no repository of norms. We propose a method to extract them from texts: texts generally do not describe a norm, but rather how a state-of-affairs differs from it.
Kayser, Daniel, Nouioua, Farid
core +5 more sources