Results 1 to 10 of about 9,156 (104)
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.
Marek, W., Nerode, A., Remmel, J.
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. >
W. Marek, A. Nerode, J. Remmel
openaire +1 more source
Annotated nonmonotonic rule systems
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nerode, A. +2 more
openaire +2 more sources
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination [PDF]
, 2010 In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed.
Axel Polleres +4 more
core +2 more sources
Large-scale Parallel Stratified Defeasible Reasoning [PDF]
, 2012 We are recently experiencing an unprecedented explosion of available data from the Web, sensors readings, scientific databases, government authorities and more.
Antoniou, Grigoris +4 more
core +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.
Marek, V. W., Nerode, A., Remmel, J. B.
openaire +1 more source
Proof Complexity of Propositional Default Logic [PDF]
, 2010 Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic.
Beyersdorff, O +4 more
core +3 more sources
Nonmonotonic energy harvesting efficiency in biased exciton chains [PDF]
, 2007 We theoretically study the efficiency of energy harvesting in linear exciton chains with an energy bias, where the initial excitation is taking place at the high-energy end of the chain and the energy is harvested (trapped) at the other end.
Agranovich V. M. +7 more
core +4 more sources
Effects of inertia on the steady-shear rheology of disordered solids [PDF]
, 2015 We study the finite-shear-rate rheology of disordered solids by means of molecular dynamics simulations in two dimensions. By systematically varying the damping magnitude $\zeta$ in the low-temperature limit, we identify two well defined flow regimes ...
Barrat, Jean-Louis +2 more
core +4 more sources
On Properties of Update Sequences Based on Causal Rejection
, 2001 We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in ...
Eiter, T. +3 more
core +2 more sources