Results 101 to 110 of about 783,609 (145)
Some of the next articles are maybe not open access.
Nondeterministic, nonmonotonic logic databases
IEEE Transactions on Knowledge and Data Engineering, 2001We consider in this paper an extension of Datalog with mechanisms for temporal, nonmonotonic, and nondeterministic reasoning, which we refer to as Datalog++. We show, by means of examples, its flexibility in expressing queries concerning aggregates and data cube.
Giannotti F +3 more
openaire +5 more sources
Journal of the ACM, 1982
Tradmonal logics suffer from the "monotomclty problem"' new axioms never mvahdate old theorems One way to get nd of this problem ts to extend traditional modal logic in the following way The operator M (usually read "possible") is extended so that Mp is true whenever p is consistent with the theory Then any theorem of this form may be mvahdated if ~p ...
openaire +2 more sources
Tradmonal logics suffer from the "monotomclty problem"' new axioms never mvahdate old theorems One way to get nd of this problem ts to extend traditional modal logic in the following way The operator M (usually read "possible") is extended so that Mp is true whenever p is consistent with the theory Then any theorem of this form may be mvahdated if ~p ...
openaire +2 more sources
Minds and Machines, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Nonmonotonic default modal logics
Journal of the ACM, 1991Summary: 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, 1999This 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
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
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, 2003zbMATH 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, 2002The 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, 2003In 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