Results 151 to 160 of about 719,711 (199)
Some of the next articles are maybe not open access.
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.
V S Subrahmanian
exaly +2 more sources
Nonmonotonic Logic and Statistical Inference
Computational Intelligence, 2006Classical statistical inference is nonmonotonic: obtaining more evidence or obtaining more knowledge about the evidence one has can lead to the replacement of one statistical conclusion by another, or the complete withdrawal of the original conclusion.
Henry E. Kyburg, Jr.
exaly +2 more sources
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
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
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 +3 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 +3 more sources
Nonmonotonic logics serve as formal models of defeasible reasoning, a type of reasoning where conclusions are drawn absent absolute certainty. Defeasible reasoning takes place when scientists interpret experiments, in medical diagnosis, and in practical everyday situations.
Christian Strasser
exaly +2 more sources
Christian Strasser
exaly +2 more sources
Logical foundations of nonmonotonic reasoning
Artificial Intelligence Review, 1991In this paper we shall review the main approaches to nonmono- tonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valuedlpartial models, and conditional. We shall be placing special emphasis on some of the promin- ent approaches.
Nadim Obeid, Raymond Turner
openaire +1 more source
Nonmonotonicity in the Framework of Parametric Logic
Studia Logica, 2018zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources