Results 141 to 150 of about 772 (194)

Nonmonotonic Logic Programs for the Semantic Web

, 2005
Schindlauer, Roman
core  

Judgment aggregation in nonmonotonic logic

SynthÈse, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wen Xuefeng
exaly   +4 more sources

Some of the next articles are maybe not open access.

Related searches:

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.
V S Subrahmanian
exaly   +2 more sources

Nondeterministic, nonmonotonic logic databases

IEEE Transactions on Knowledge and Data Engineering, 2001
We 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, Manco G, Nanni M, Pedreschi D   +3 more
openaire   +6 more sources

NONMONOTONIC LOGIC AND STATISTICAL INFERENCE*

Computational Intelligence, 2006
Classical 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, Choh Man Teng
exaly   +2 more sources

Deontic logic as founded on nonmonotonic logic

Annals of Mathematics and Artificial Intelligence, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John F. Horty
openaire   +2 more sources

Semantical considerations on nonmonotonic logic [PDF]

Artificial Intelligence, 1985
This paper concerns the problem of reconstruction, which may be formulated as follows. Given languages \({\mathcal L}\) and \({\mathcal M}\), and given a set A of conditions expressed in \({\mathcal M}\), find a theory Th in \({\mathcal L}\) which satisfies A. The relation R of the solution of the problem has not, in general, the so called monotonicity
Robert C Moore
exaly   +3 more sources

Moral dilemmas and nonmonotonic logic

Journal of Philosophical Logic, 1994
The author relates the deontic theory of simple categorical oughts of \textit{B. van Fraasen} [J. Philos. 70, 5-19 (1973)] with the default logic of \textit{R. Reiter} [Artif. Intell. 13, 81-132 (1980; Zbl 0435.68069)]. Furthermore, he discusses the extension of this correspondence to conditional obligations and points out that there are deeper ...
John F. Horty
core   +3 more sources

Embedding Modal Nonmonotonic Logics into Default Logic

Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly   +2 more sources