Results 131 to 140 of about 9,424 (184)

Real Logic is Nonmonotonic

Minds and Machines, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Nonmonotonic default modal logics

Journal of the ACM, 1991
Summary: Conclusions by failure to prove the opposite are frequently used in reasoning about an incompletely specified world. This naturally leads to logics for default reasoning that, in general, are nonmonotonic; that is, introducing new facts an invalidate previously made conclusions.
Tiomkin, Michael, Kaminski, Michael
openaire   +1 more source

Nonmonotonic logic programming

IEEE Transactions on Knowledge and Data Engineering, 1999
This paper provides a survey of the state of the art in nonmonotonic logic programming. In particular, it surveys advances in the declarative semantics of logic programs, in query processing procedures for nonmonotonic logic programs, and in recent extensions of the nonmonotonic logic programming paradigm.
openaire   +1 more source

Why nonmonotonic logic?

Decision Support Systems, 1988
Abstract The motivation for nonmonotonic logic is to produce a machine representation for default reasoning, broadly construed. In this paper we argue that all nonmonotonic logics have (by definition) inference rules that fail to preserve truth, and this fact leads to several undesirable features.
openaire   +1 more source

Embedding Modal Nonmonotonic Logics into Default Logic

Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Three-valued nonmonotonic logic

[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic, 2002
The three-valued formulation of nonmonotonic logics is established. It is shown how to extend standard nonmonotonic logics to the three-valued case. It is also shown that a three-valued nonmonotonic logic called maximally ignorant (MI) logic can capture various major standard nonmonotonic logics as its special cases.
openaire   +1 more source

Bridges between Classical and Nonmonotonic Logic

Logic Journal of IGPL, 2003
In this interesting paper, three methods of extending classical propositional logic, without changing the language or loss of monotonicity, are described. The first method consists in using additional background assumptions. The idea of the second one is to restrict valuations considered possible. The third method uses additional background rules.
openaire   +2 more sources

DNA Double-Strand Break–Based Nonmonotonic Logic

2015
no ...
Doncescu, Andrei, Siegel, Pierre
openaire   +2 more sources

Modular nonmonotonic logic programs

2018
Modular programming is common practice in software development, and the vast majority of general-purpose programming languages use modularity concepts to aid software engineers in designing and building complex systems based on reusable software components.
openaire   +1 more source

Modal nonmonotonic logics demodalized

Annals of Mathematics and Artificial Intelligence, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source