Results 1 to 10 of about 572,128 (190)
Annotated nonmonotonic rule systems
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nerode, A. +2 more
semanticscholar +5 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.
Marek, W., Nerode, A., Remmel, J.
openaire +4 more sources
Nonmonotonic Rule Systems on Top of Ontology Layers [PDF]
International Workshop on the Semantic Web, 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 ...
G. Antoniou
openaire +2 more sources
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 +2 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
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
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
Abstraction of Prevention Conceived in Distributed Knowledge Base
International Conference on Complex Information Systems, 2023 : This paper is concerned with prevented information common in distributed knowledge base. The distributed knowledge is a framework to reflect knowledge acquisition and retrieval in a seminar class with participants. The presented accounts are listened to,
S. Yamasaki, Mariko Sasakura
semanticscholar +1 more source
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
Shape fluctuations and elastic properties of two-component bilayer membranes
, 2004 The elastic properties of two-component bilayer membranes are studied using a coarse grain model for amphiphilic molecules. The two species of amphiphiles considered here differ only in their length.
Imparato, Alberto +2 more
core +1 more source