Results 111 to 120 of about 783,609 (145)

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

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 propositional logic

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

Possibilistic logic: From nonmonotonicity to logic programming

2005
Links between preferential semantics of possibilistic logic, semantics of prioritized circumscription, and one of the semantics used in logic programming, namely the perfect model semantics of stratified logic programs, are presented.
Salem Benferhat, Didier Dubois, Henri Prade   +2 more
openaire   +1 more source

Preference logics and nonmonotonicity in logic programming

1992
It is claimed that the notion of preference is a fundamental modality in computing and is a generalization of the notion of minimality. A logic of feasible preference is presented. The non-monotonic behavior of negation in logic programming is modeled as a symbolic optimization problem.
Allen L. Brown, Surya Mantha, Toshiro Wakayama   +2 more
openaire   +1 more source

Fixed points in the propositional nonmonotonic logic

Artificial Intelligence, 1989
An explicit description of fixed points for propositional theories in the nonmonotonic logic introduced by \textit{D. McDermott} and \textit{J. Doyle} [ibid. 13, 41-72 (1980; Zbl 0435.68074)] is given. Some preliminary results concerning the admissibility of a certain set of formulas are presented. From previously proved results, the convergence of the
openaire   +2 more sources

Nonmonotonic reasoning and logic programming

Knowledge-Based Systems, 1990
Inference methods in knowledge-based systems are presented which are used for inferencing from incomplete information or in systems that model actions, i.e. systems that describe a time-varying world. In such cases, one is faced with nonmonotonic types of derivation when new information can lead to a revision of some statements accepted earlier.
openaire   +1 more source

Logics for Nonmonotonic Reasoning

1997
This chapter gives an overview of various existing formalizations of non-monotonic reasoning.1 To start with, it may be useful to derive from the previous chapter two basic motivations for using nonmonotonic forms of reasoning. The first is common to all domains of common-sense reasoning.
openaire   +1 more source