Results 181 to 190 of about 719,711 (199)

Fixed points in the propositional nonmonotonic logic

Artificial Intelligence, 1989
An explicit description of fixed points for propositional theories in the nonmonotonic logic introduced by \textit{D. McDermott} and \textit{J. Doyle} [ibid. 13, 41-72 (1980; Zbl 0435.68074)] is given. Some preliminary results concerning the admissibility of a certain set of formulas are presented. From previously proved results, the convergence of the
openaire   +3 more sources

Embedding a Default System into Nonmonotonic Logics

Fundamenta Informaticae, 1991
An embedding of minimal sets for default theories into nonmonotonic and nonmonotonic ground logics based on S4 and S5 is presented.
openaire   +3 more sources

The logic of nonmonotonicity

Artificial Intelligence, 1990
openaire   +2 more sources

Logics for Nonmonotonic Reasoning

1997
This chapter gives an overview of various existing formalizations of non-monotonic reasoning.1 To start with, it may be useful to derive from the previous chapter two basic motivations for using nonmonotonic forms of reasoning. The first is common to all domains of common-sense reasoning.
openaire   +1 more source

Why Nonmonotonic Logic?

Decision Support Systems, 1988
Fred Adams
exaly  

On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games

Artificial Intelligence, 1995
Phan Minh Dung
exaly  

On the Logical Properties of the Nonmonotonic Description Logic DLN

Artificial Intelligence, 2017
Piero A. Bonatti
exaly  

FDNC

ACM Transactions on Computational Logic, 2010
Thomas Eiter, Mantas Šimkus
exaly  

Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic

Artificial Intelligence Review, 1998
Grigoris Antoniou
exaly  

Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning

Lecture Notes in Computer Science, 2004
David Pearce, Agustín Valverde
exaly