Conditional logics of normality: A modal approach

Adams, 1975 Åqvist, 1967, Good samaritans, contrary-to-duty imperatives, and epistemic obligations, Noûs, 1, 361, 10.2307/2214624 Asher, 1991, Commonsense entailment: a modal theory of nonmonotonic reasoning, 387 Bacchus, 1990 Belnap, 1977, A useful four-valued logic, 8 Besnard, 1988, Axiomatizations in the metatheory of nonmonotonic inference systems, 117 Boutilier, 1990, Conditional logics of normality as modal systems, 594 Boutilier, 1991, Inaccessible worlds and irrelevance: preliminary report, 413 Boutilier, 1992, Conditional logics for default reasoning and belief revision Boutilier, 1992, Epistemic entrenchment in autoepistemic logic, Fund. Inf., 17, 5 Boutilier, 1992, Normative, subjunctive and autoepistemic defaults: adopting the Ramsey test,, 685 Boutilier, 1992, What is a default priority, 140 Boutilier, 1993, On the semantics of stable inheritance reasoning, Comput. Intell., 9, 73, 10.1111/j.1467-8640.1993.tb00302.x Boutilier, 1993, Revision sequences and nested conditionals, 519 Boutilier, 1994, Unifying default reasoning and belief revision in a modal framework, Artif. Intell., 68, 33, 10.1016/0004-3702(94)90095-7 Boutilier, 1993, Revision by conditional beliefs, 649 Brewka, 1989, Preferred subtheories: an extended logical framework for default reasoning, 1043 Chellas, 1975, Basic conditional logic, J. Philos. Logic, 4, 133, 10.1007/BF00693270 Czelakowski, 1985, Key notions of Tarski's methodology of deductive systems, Studia Logica, 44, 321, 10.1007/BF00370426 Delgrande, 1986, A propositional logic for natural kinds, 44 Delgrande, 1987, A first-order logic for prototypical properties, Artif. Intell., 33, 105, 10.1016/0004-3702(87)90053-1 Delgrande, 1988, An approach to default reasoning based on a first-order conditional logic: revised report, Artif. Intell., 36, 63, 10.1016/0004-3702(88)90079-3 Delgrande, 1990, A semantics for a class of inheritance networks, 54 Gabbay, 1985, Theoretical foundations for non-monotonic reasoning in expert systems, 439 P. Gärdenfors and D. Makinson, Nonmonotonic inference based on expectations, Artif. Intell.65 197–245. Geffner, 1989, Default reasoning: causal and conditional theories Geffner, 1992, Conditional entailment: bridging two approaches to default reasoning, Artif. Intell., 53, 209, 10.1016/0004-3702(92)90071-5 Gentzen, 1968, Investigations into logical deduction, 68 Ginsberg, 1986, Counterfactuals, Artif. Intell., 30, 35, 10.1016/0004-3702(86)90067-6 Goldszmidt, 1990, A maximum entropy approach to nonmonotonic reasoning, 646 Goldszmidt, 1990, On the relation between rational closure and system Z, 130 Goldszmidt, 1991, On the consistency of defeasible databases, Artif. Intell., 52, 121, 10.1016/0004-3702(91)90039-M Goldszmidt, 1992, Reasoning with qualitative probabilities can be tractable, 112 Haack, 1978 Halpern, 1987, A logic to reason about likelihood, Artif. Intell., 32, 379, 10.1016/0004-3702(87)90093-2 Hirschberg, 1984, Toward a redefinition of yes/no questions, 48 Hirst, 1991, Existence assumptions in knowledge representation, Artif. Intell., 49, 199, 10.1016/0004-3702(91)90010-H Hughes, 1984 Humberstone, 1983, Inaccessible worlds, Notre Dame J. Formal Logic, 24, 346, 10.1305/ndjfl/1093870378 Kraus, 1990, Nonmonotonic reasoning, preferential models and cumulative logics, Artif. Intell., 44, 167, 10.1016/0004-3702(90)90101-5 Kyburg, 1961 Kyburg, 1983, The reference class, Philos. Sci., 50, 374, 10.1086/289125 Ladner, 1977, The computational complexity of provability in systems of modal propositional logic, Siam J. Comput., 6, 467, 10.1137/0206033 Lakemeyer, 1987, Tractable meta-reasoning in propositional logics of belief, 402 Lamarre, 1991, S4 as the conditional logic of nonmonotonicity, 357 Lehmann, 1989, What does a conditional knowledge base entail?, 212 Lehmann, 1990, What does a conditional knowledge base entail? Levesque, 1984, A logic of implicit and explicit belief, 198 Levesque, 1990, All I know: a study in autoepistemic logic, Artif. Intell., 42, 263, 10.1016/0004-3702(90)90056-6 Levinson, 1983 Lewis, 1973 Lin, 1989, Argument systems: a uniform basis for nonmonotonic reasoning, 245 Loui, 1987, Defeat among arguments: a system of defeasible inference, Comput. Intell., 3, 100, 10.1111/j.1467-8640.1987.tb00178.x Makinson, 1989, General theory of cumulative inference, 1 McArthur, 1988, Reasoning about knowledge and belief: a survey, Comput. Intell., 4, 223, 10.1111/j.1467-8640.1988.tb00278.x McCarthy, 1980, Circumscription—a form of non-monotonic reasoning, Artif. Intell., 13, 27, 10.1016/0004-3702(80)90011-9 McCarthy, 1986, Applications of circumscription to formalizing commonsense reasoning, Artif. Intell., 28, 89, 10.1016/0004-3702(86)90032-9 Moore, 1985, Semantical considerations for nonmonotonic logic, Artif. Intell., 25, 75, 10.1016/0004-3702(85)90042-6 Nute, 1980 Nute, 1984, A non-monotonic logic based on conditional logic Nute, 1984, Non-monotonic reasoning and conditionals Ono, 1980, On the size of refutation Kripke models for some linear modal and tense logics, Studia Logica, 39, 325, 10.1007/BF00713542 Pearl, 1988 Pearl, 1989, Probabilistic semantics for nonmonotonic reasoning: a survey, 505 Pearl, 1990, System Z: a natural ordering of defaults with tractable applications to default reasoning, 121 Pollock, 1986 Pollock, 1987, Defeasible reasoning, Cognitive Sci., 11, 481, 10.1207/s15516709cog1104_4 Poole, 1988, A logical framework for default reasoning, Artif. Intell., 36, 27, 10.1016/0004-3702(88)90077-X Poole, 1991, The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning, Artif. Intell., 49, 281, 10.1016/0004-3702(91)90012-9 Poole, 1992, Decision-theoretic defaults, 190 Quine, 1960 Quine, 1961 Reiter, 1980, A logic for default reasoning, Artif. Intell., 13, 81, 10.1016/0004-3702(80)90014-4 Reiter, 1987, Nonmonotonic reasoning, Ann. Rev. Comput. Sci., 2, 147, 10.1146/annurev.cs.02.060187.001051 Segerberg, 1970, Modal logics with linear alternative relations, Theoria, 36, 310, 10.1111/j.1755-2567.1970.tb00429.x Shoham, 1988 Stalnaker, 1981, A theory of conditionals, 41 Touretzky, 1986 Touretzky, 1987, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, 476 Tversky, 1990, Judgment under uncertainty: heuristics and biases, 32 van Fraassen, 1972, The logic of conditional obligation, J. Philos. Logic, 1, 417, 10.1007/BF00255570