Results 1 to 10 of about 10,099,837 (194)

Annotated nonmonotonic rule systems

Theoretical Computer Science, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian   +2 more
openaire   +5 more sources

A System for Nonmonotonic Rules on the Web

Lecture Notes in Computer Science, 2004
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used.
Grigoris Antoniou, Antonis Bikakis, Gerd Wagner 0001   +2 more
openaire   +4 more sources

A theory of nonmonotonic rule systems II [PDF]

Annals of Mathematics and Artificial Intelligence, 1990
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel   +2 more
openaire   +3 more sources

A theory of nonmonotonic rule systems [PDF]

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 2002
The semantics for nonmonotonic rule systems are investigated. The notion of nonmonotonic formal systems is then introduced. Examples are given, along with applications of logic, logic programming, and common-sense reasoning. >
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel   +2 more
openaire   +1 more source

A context for belief revision: forward chaining-normal nonmonotomic rule systems

Annals of Pure and Applied Logic, 1994
For some time it has been widely appreciated that those systems of nonmonotonic logic that are defined in the literature using fixed points (notably Reiter style default logic, autoepistemic systems, logic programs with negation, and certain truth-maintenance systems), have a considerable amount of structure in common.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel   +2 more
openaire   +2 more sources

Nonmonotonic Rule Systems on Top of Ontology Layers [PDF]

, 2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the from of the DAML+OIL language which corresponds to a rich description logic. The next step will be the the realization of logical rule systems on top of the ontology layer.Computationally simple nonmonotonic ...
openaire   +2 more sources

Relaxation via separable estimators: arithmetic and implementation. [PDF]

J Glob Optim
Zha Y, Villanueva ME, Houska B, Chachuat B.   +3 more
europepmc   +1 more source

Nonmonotonic scaling of the anomalous Hall effect in a bicollinear antiferromagnet. [PDF]

Sci Adv
Wang R, Fang C, Kostanovski I, Xiao K, Küster F, Davern J, Nagaosa N, Parkin SSP.   +7 more
europepmc   +1 more source

A Thermodynamically Consistent Approach to Molecular Simulations of Adsorption-Induced Deformation and Structural Transitions in MOFs. [PDF]

J Chem Theory Comput
Corrente NJ, Chang K, Noor M, Neimark AV.   +3 more
europepmc   +1 more source

Electrostatic-Hydrophobic Competition Induces Re-Entrant Phase Separation in Designer Polypeptides. [PDF]

ACS Omega
Kang WB, Guo J, Wang DC, Bao L, Liu MC, Cheng LT, He EB, Zhu G.   +7 more
europepmc   +1 more source