Results 121 to 130 of about 9,446 (176)
Optically Triggered Nucleation Eliminates Hydration Hysteresis in Swelling Minerals. [PDF]
LangmuirTeng Y, Chen C, Zheng L, Whittaker ML.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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.
Vs Subrahmanian
openaire +3 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 +4 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 +4 more sources
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 +3 more sources
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 +3 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
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