Results 261 to 270 of about 938,794 (293)
Some of the next articles are maybe not open access.
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence, 2008zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Embedding Modal Nonmonotonic Logics into Default Logic
Studia Logica, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Relating Defeasible and Default Logic
2001Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods.
Grigoris Antoniou, David Billington
openaire +1 more source
Journal of Computer Science and Technology, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Putting default logics in perspective
1996The evolution of Reiter's default logic has resulted in diverse variants sharing many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations dealing sometimes even with different objects of discourse.
Linke, Thomas +1 more
openaire +2 more sources
2016
The paper proposes a defeasible treatment of rights reasoning. First, I introduce a basic Hohfeldian account of rights, within the framework of a multi-modal deontic logic. Second, I offer a number of examples of rights reasoning that cannot be appropriately captured within this Hohfeldian framework.
openaire +2 more sources
The paper proposes a defeasible treatment of rights reasoning. First, I introduce a basic Hohfeldian account of rights, within the framework of a multi-modal deontic logic. Second, I offer a number of examples of rights reasoning that cannot be appropriately captured within this Hohfeldian framework.
openaire +2 more sources
1994
Abstract In nonmonotonic reasoning we want to reach conclusions that we may not reach if we had more information. There seem to be two ways to handle this; we could change the logic to be defeasible, or we could allow some premises of the logical argument that may not be allowed when new information is received.
openaire +1 more source
Abstract In nonmonotonic reasoning we want to reach conclusions that we may not reach if we had more information. There seem to be two ways to handle this; we could change the logic to be defeasible, or we could allow some premises of the logical argument that may not be allowed when new information is received.
openaire +1 more source
Towards programming in default logic
1996In this paper we describe a fragment of default logic suitable for encoding problems from other domains. We investigate a subclass of first order open default theories, which we call extensional default theories. This class of default theories allows easy and compact encodings of problems for experimenting with default reasoning systems.
openaire +1 more source