Results 131 to 140 of about 9,446 (176)

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

Nonmonotonic reasoning, nonmonotonic logics and reasoning about change

Artificial Intelligence Review, 1990
In this paper we introduce nonmonotonic reasoning and the attempts at formalizing it using nonmonotonic logics. We examine and compare the best known of these. Despite the difference in motivation and technical construction there are strong similarities between these logics which are confirmed when they are finally shown to have a common basis. Finally
openaire   +1 more source

Deontic logic as founded on nonmonotonic logic

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

Nonmonotonic Logic

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.
openaire   +1 more source

Nonmonotonic propositional logic

Frontiers of Computer Science, 2021
Wei Li, Yuefei Sui, Yuhui Wang
openaire   +1 more source