Skip to main content
SpringerLink
Log in

Deductive inference operations

Extended abstract

  • Selected Papers
  • Conference paper
  • First Online:
Logics in AI (JELIA 1990)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 478))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kraus, Lehmann, Magidor: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence, 1990.

    Google Scholar 

  2. D. Makinson: General Theory of Cumulative Inference, Proceedings of the second international workshop on non-monotonic reasoning, Grassau, January 1989, Springer Verlag. Lecture Notes in Computer Science.

    Google Scholar 

  3. D. Makinson: (to appear) "General patterns in non-monotonic reasoning", Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. II (Oxford University Press.)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Orleans, 45067, Orleans Cedex 2, France

    Michael Freund

  2. Hebrew University, 91904, Jerusalem, Israel

    Michael Freund & Daniel Lehmann

Authors
  1. Michael Freund
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Lehmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. van Eijck

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Freund, M., Lehmann, D. (1991). Deductive inference operations. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018444

Download citation

  • DOI: https://doi.org/10.1007/BFb0018444

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53686-4

  • Online ISBN: 978-3-540-46982-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation