Belief revision and nonmonotonic logic: Two sides of the same coin?
Part of the Lecture Notes in Computer Science book series (LNCS, volume 478)
Unable to display preview. Download preview PDF.
- Alchourron, C.E., P. Gärdenfors, and D. Makinson (1985), ‘On the logic of theory change: Partial meet contraction and revision functions', The Journal of Symbolic Logic, 50, 510–530.Google Scholar
- Gabbay, D. (1985), ‘Theoretical foundations for nonmonotonic reasoning in expert systems', in Logic and Models of Concurrent Systems, K. Apt ed. (Berlin: Springer-Verlag).Google Scholar
- Gärdenfors P. (1988), Knowledge in Flux: Modeling the Dynamics of Epistemic States, (Cambridge, MA: The MIT Press, Bradford Books).Google Scholar
- Gärdenfors, P. and D. Makinson. (1988), ‘Revisions of knowledge systems using epistemic entrenchment', in Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, M. Vardi ed. (Los Altos, CA: Morgan Kaufmann).Google Scholar
- Kraus, S., D. Lehmann, and M. Magidor, (1990), ‘Nonmonotonic reasoning, preferential models and cumulative logics', Artificial Intelligence, 44, 167–207.Google Scholar
- Makinson, D. (1990), ‘General patterns in nonmonotonic reasoning', to appear as chapter 2 of Handbook of logic in Artificial Intelligence and Logic Programming, Volume II: Non-Monotonic and Uncertain Reasoning, (Oxford: Oxford University Press).Google Scholar
- Makinson, D. and P. Gärdenfors (1990): ‘Relations between the logic of theory change and nonmonotonic logic', to appear in the proceedings of the Konstanz workshop on belief revision, ed. by A. Fuhrmann and M. Morreau (Berlin: Springer Verlag).Google Scholar
© Springer-Verlag Berlin Heidelberg 1991