Results 271 to 280 of about 24,578 (296)
Some of the next articles are maybe not open access.
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 +1 more source
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 +1 more source
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
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
Default Logic and purity of reasoning
1999Ray Reiter has worked out Default Logic during his sabbatical leave in 1979, at Imperial College in London. The paper on Default Logic then appeared in the landmark issue of the Artificial Intelligence Journal on “Commonsense Reasoning” [1].
GIANNI AMATI +2 more
openaire +2 more sources
The Knowledge Engineering Review, 1988
Abstract This paper is a review of certain non-monotonic logics, which I call default non-monotonic logics. These are logics which exploit failure to prove. How each logic uses this basic idea is explained, and examples given. The emphasis is on leading ideas explained through examples: technical detail is avoided.
openaire +1 more source
Abstract This paper is a review of certain non-monotonic logics, which I call default non-monotonic logics. These are logics which exploit failure to prove. How each logic uses this basic idea is explained, and examples given. The emphasis is on leading ideas explained through examples: technical detail is avoided.
openaire +1 more source
On commitment and cumulativity in default logics
1991This paper examines Poole's notion of “commitment to assumptions” as well as Makinson's demand for cumulativity in the context of default logic. It provides a semantical characterization of Brewka's approach which can be regarded as a realization of both notions.
openaire +1 more source
Operational concepts of nonmonotonic logics part 1: Default logic
Artificial Intelligence Review, 1994G Antoniou
exaly