General theory of cumulative inference

  • David Makinson
Gereral Properties Of Non-Monotonic Logics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 346)


Double Negation Horn Clause Inference Procedure Default Rule Nonmonotonic Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Alchourrón, Carlos E., Peter Gärdenfors and David Makinson, "On the logic of theory change: partial meet contraction and revision functions", The Journal of Symbolic Logic, 50 (1985), 510–530.Google Scholar
  2. [2]
    Alchourrón, Carlos E. and David Makinson, "On the logic of theory change: safe contraction", Studia Logica, 44 (1985), 405–422.Google Scholar
  3. [3]
    van Bentham, Johan, "Semantic parallels in natural language and computation", to appear in M. Garrido ed., Logic Colloquium Granada 1988 (Amsterdam: North-Holland).Google Scholar
  4. [4]
    Burgess, John P., "Quick completeness proofs for some logics of conditionals", Notre Dame Journal of Formal Logic, 22 (1981), 76–84.Google Scholar
  5. [5]
    Gabbay, Dov, "Theoretical foundations for non-monotonic reasoning in expert systems", in K.R. Apt ed., Logics and Models of Concurrent systems (Berlin: Springer-Verlag, 1985).Google Scholar
  6. [6]
    Gärdenfors, Peter, Knowledge in Flux: Modeling the Dynamics of Epistemic States (Cambridge, Mass.: MIT Press, Bradford Books, 1988)Google Scholar
  7. [7]
    Genesereth, Michael R. and Nils J. Nilsson, Logical Foundations of Artificial Intelligence (Los Altos: Morgan Kaufmann, 1987).Google Scholar
  8. [8]
    Ginsberg, M.L. ed., Readings in Non-Monotonic Reasoning (Los Altos: Morgan Kaufmann, 1987).Google Scholar
  9. [9]
    Konolige, Kurt, "On the relation between default and autoepistemic logic", Artificial Intelligence 35 (1988), 343–382.Google Scholar
  10. [10]
    Kraus, Sarit, Daniel Lehmann and Menachem Magidor, "Preferential models and cumulative logics", unpublished manuscript, June 1988, to be submitted for publication.Google Scholar
  11. [11]
    Lukaszewicz, Witold, "Considerations on default logic" Proc. AAAI Workshop on Non-Monotonic Reasoning (New Palz, 1984), 165–193.Google Scholar
  12. [12]
    Makinson, David, "How to give it up: a survey of some formal aspects of the logic of theory change", Synthese 62 (1985) 347–363 and 68 (1986), 185–186.Google Scholar
  13. [13]
    McCarthy, J.M., "Circumscription — a form of non-monotonic reasoning", Artificial Intelligence 13 (1980), 27–39.Google Scholar
  14. [14]
    Nute, Donald, "Conditional logic", in D. Gabbay and F. Guenthner eds., Handbook of Philosophical Logic, volume II: Extensions of Classical Logic (Dordrecht: Reidel, 1984), 387–439.Google Scholar
  15. [15]
    Reiter, R., "On closed world data bases", in H. Gallaire and J. Minker eds., Logic and Data Bases (New York/London: Plenum, 1978), 55–76.Google Scholar
  16. [16]
    Reiter, R., "A logic for default reasoning", Artificial Intelligence 13 (1980), 81–132.Google Scholar
  17. [17]
    Reiter, R., "Nonmonotonic reasoning", Annual Review of Computer Science 2 (1987), 147–186.Google Scholar
  18. [18]
    Shoham, Yoav, Reasoning about Change (Cambridge, Mass.: MIT Press, 1988).Google Scholar
  19. [19]
    Ullmann-Margalit, Edna, "On presumption", The Journal of Philosophy 80 (1973), 143–163.Google Scholar
  20. [20]
    Veltman, Frank, Logics for Conditionals, dissertation Filosofisch Instituut, Universiteit van Amsterdam, 1986; to appear with Cambridge University Press.Google Scholar
  21. [21]
    Wójcicki, Ryszard, Theory of Logical Calculi (Dordrecht: Reidel, 1988).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • David Makinson
    • 1
  1. 1.Les Etangs B2, La RonceVille d'Avray

Personalised recommendations