Access the full text.
Sign up today, get DeepDyve free for 14 days.
D. Touretzky, J. Horty, R. Thomason (1987)
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems
J. Pollock (1992)
How to Reason DefeasiblyArtif. Intell., 57
J. McCarthy (1980)
Circumscription - A Form of Non-Monotonic ReasoningArtif. Intell., 13
M. Gelfond, Halina Przymusi (1991)
Disjunctive Defaults
(1974)
Conditional obligation. In Logical Theory and Semantic Analysis, S. Sten- lund (ed.), D
R.J. Wieringa, J.-J. Ch. Meyer (1991)
Technical Report
J. Horty (1994)
Moral dilemmas and nonmonotonic logicJournal of Philosophical Logic, 23
D. Touretzky, R. Thomason, J. Horty (1991)
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance
(1977)
How a computer should think In Contemporary Aspects of Philosophy
Michael Wellman, J. Doyle (1991)
Preferential Semantics for Goals
(1992)
J. van Benthem. Personal correspondence
N. Belnap (1977)
A Useful Four-Valued Logic
B. Hansson (1969)
An analysis of some deontic logics
Brian Chellas (1980)
Modal Logic: Normal systems of modal logic
B. Fraassen (1973)
Values and the Heart's CommandThe Journal of Philosophy, 70
(1991)
Forthcoming in Journal of Philosophical Logic. A preliminary version appears in Proceedings of the First International Workshop on Deontic Logic in Computer Science
A. Donagan (1984)
Consistency in Rationalist Moral SystemsThe Journal of Philosophy, 81
Craig Boutilier (1992)
Conditional logics for default reasoning and belief revision
Hector Geffner (1992)
Default reasoning - causal and conditional theories
E. Davis (2014)
Representations of commonsense knowledge
Henry Kautz (1986)
The Logic of Persistence
D. Lewis (1974)
Semantic Analyses for Dyadic Deontic Logic
(1965)
A revised version appears in B. Williams, Problems of the Self: Philosophical Papers
E.J. Lemmon (1962)
Moral dilemmasPhilos. Rev., 70
J. Hintikka (1969)
Deontic Logic and its Philosophical Morals
R. Reiter (1987)
A Logic for Default ReasoningArtif. Intell., 13
B. Fraassen (1972)
The logic of conditional obligationJournal of Philosophical Logic, 1
(1988)
The moral rst aid manual
(1977)
A useful fourvalued logic , in : Modern Uses of Multiplevalued Logic
A. Anderson, N. Belnap, J. Dunn (1975)
Entailment : the logic of relevance and necessity
N. Campbell (1931)
Formal Logic.Nature, 128
P. McNamara (2006)
Deontic logic
(1973)
Counterfactuals. Harvard University
Robin Fox (1998)
Moral DilemmasJournal of the Royal Society of Medicine, 91
R. Marcus (1980)
Moral Dilemmas and ConsistencyThe Journal of Philosophy, 77
J. Horty (1994)
Some direct theories of nonmonotonic inheritance
(1988)
The moral first aid manual, in: The Tanner Lectures on Human Values, Vol. VIII (Cambridge
R. Hilpinen (1981)
Deontic Logic: Introductory and Systematic Readings
J. Delgrande (1988)
An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised ReportArtif. Intell., 36
R. Thomason (1981)
Deontic Logic as Founded on Tense Logic
J. Minker (1987)
On Indefinite Databases and the Closed World Assumption
J. Sartre (1947)
L'existentialisme est un humanisme, 21
J. McCarthy (1979)
Circumscription|a Form of Nonmonotonic Reasoning
R. Wieringa, J. Meyer (1994)
Applications of deontic logic in computer science: a concise overview
(1965)
Ethical consistency
P. Foot (1983)
Moral Realism and Moral DilemmaThe Journal of Philosophy, 80
Sarit Kraus, D. Lehmann, M. Magidor (1990)
Nonmonotonic Reasoning, Preferential Models and Cumulative LogicsArXiv, cs.AI/0202021
J. Larrazabal, L. Mlranda (1991)
Reasoning about change
Ever since its inception in the work of von Wright, deontic logic has been developed primarily as a species of modal logic. I argue in this paper, however, that the techniques of nonmonotonic logic may provide a better theoretical framework — at least for the formalization of commensense normative reasoning — than the usual modal treatment. After reviewing some standard approaches to deontic logic, I focus on two areas in which nonmonotonic techniques promise improved understanding: reasoning in the presence of conflicting obligations, and reasoning with conditional obligations.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Apr 5, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.