Results 231 to 240 of about 421,883 (287)

Expressing Default Logic Variants in Default Logic

Journal of Logic and Computation, 2005
Reiter's default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of default logic have subsequently been proposed to give systems with properties differing from the original. In this paper, we examine the relationship between default logic and its major variants.
Delgrande, James Patrick, Schaub, Torsten (Prof. Dr.)   +1 more
openaire   +2 more sources

General Default Logic

Annals of Mathematics and Artificial Intelligence, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhou, Yi, Lin, Fangzhen, Zhang, Yan
openaire   +2 more sources

Temporalizing Epistemic Default Logic

Journal of Logic, Language and Information, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
van der Hoek, W., Meyer, J-J.Ch., Treur, J.   +2 more
openaire   +5 more sources

Logic Programming and Default Logic

International Journal on Artificial Intelligence Tools, 1994
We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic ...
openaire   +1 more source

Default Logic

2007
Default logic is an important method of knowledge representation and reasoning, because it supports reasoning with incomplete information, and because defaults can be found naturally in many application domains, such as diagnostic problems, information retrieval, legal reasoning, regulations, specifications of systems and software, etc.
Antoniou, Grigoris, Wang, Kewen
openaire   +2 more sources

Representability in Default Logic

Logic Journal of the IGPL, 2005
Summary: A default theory can be seen as a way for representing a set of formulae, i.e., its extensions. In this paper, we characterize the sets of formulae that can be expressed by a default theory according to various semantics: justified, constrained, rational, cumulative, QDL, CADL, and two semantics with priorities.
openaire   +2 more sources

Domain Theory Meets Default Logic

Journal of Logic and Computation, 1995
Summary: We present a development of the theory of default information structures, combining ideas from domain theory with ideas from nonmonotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories.
Rounds, William C., Zhang, Guo-Qiang
openaire   +2 more sources