Skip to main content
SpringerLink
Log in

Disjunctive ordered logic

  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 978))

Included in the following conference series:

Abstract

This paper presents a new knowledge representation language for expert systems and deductive databases, which extends disjunctive logic programming with inheritance and true negation. A modeltheoretic semantics of the proposed language is given, and it is shown to extend the stable model semantics of disjunctive logic programs. Finally, the complexity of inferring information from disjunctive ordered theories is analysed.

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. Baral, C., Gelfond, M., Logic Programming and Knowledge Representation, Journal of Logic Programming, 1994, Vol. 19/20, May/July 1994, pp. 73–148.

    MathSciNet  Google Scholar 

  2. Buccafurri, F., Leone, N., Palopoli, L., Rullo, P., Disjunctive Ordered Logic, Tec. Rep. ISI-CNR N. 95-07, 1995.

    Google Scholar 

  3. Buccafurri, F., Leone, N., Rullo, P., Stable Models and their Computation for Logic Programming with Inheritance and True Negation, Journal of Logic Programming, to appear.

    Google Scholar 

  4. Bugliesi, M., Lamma, E., Mello, P., Modularity in Logic Programming, Journal of Logic Programming, 1994, Vol. 19/20, May/July 1994, pp. 443–502.

    MathSciNet  Google Scholar 

  5. T. Eiter and G. Gottlob and H. Mannila. Adding Disjunction to Datalog. Proceedings ACM PODS-94, May 1994, pp. 267–278.

    Google Scholar 

  6. Garey and Johnson, Computer and Intractability: a Guide to the Theory of NP—completeness, Freeman, 1979.

    Google Scholar 

  7. Gelfond, M., Lifschitz, V., The Stable Model Semantics for Logic Programming, Proc. 5th Int. Conf. on Logic Progr., (MIT Press, Cambridge, 1988), pp. 1070–1080.

    Google Scholar 

  8. Gottlob, G., Complexity Results for Nonmonotonic Logics, Journal of Logic and Computation, Vol. 2, N. 3, pp. 397–425, 1992.

    MATH  MathSciNet  Google Scholar 

  9. Laenens, E., Saccá, D., and Vermeir, D., Extending Logic Programming, Proc. of ACM SIGMOD, May 1990.

    Google Scholar 

  10. Marek, W., Truszczyński, M., Modal logic for default reasoning, Annals of Mathematics and Artificial Intelligence, 1, 1990, pp. 275–302.

    Google Scholar 

  11. Marek, W., Truszczyński, M., Autoepistemic Logic, Journal of the ACM, 38, 3, 1991, pp. 518–619.

    Article  Google Scholar 

  12. McCarthy, J., Circumscription — a Form of Nonmonotonic Reasoning, Artificial Intelligence, 13, pp. 27–39, 1980.

    MATH  MathSciNet  Google Scholar 

  13. J. Minker. On Indefinite Data Bases and the Closed World Assumption. Proceedings of the 6 th Conf. on Automated Deduction (CADE-82), 1982, pp. 292–308.

    Google Scholar 

  14. T. Przymusinski. Stable Semantics for Disjunctive Programs. New Generation Computing, 9:401–424, 1991.

    MATH  Google Scholar 

  15. Ullman, J.D., Principles of Database and Knowledge-Base Systems, Vol. 1 and 2, Computer Science Press, Rockville, Md., 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DEIS, Universitá della Calabria, 87030, Rende, Italy

    F. Buccafurri & L. Palopoli

  2. ISI-CNR c/o DEIS, Univ. della Calabria, 87030, Rende, Italy

    F. Buccafurri & N. Leone

  3. DIEMA, Universitá di Reggio Calabria, 89100, Reggio Calabria, Italy

    P. Rullo

Authors
  1. F. Buccafurri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. Leone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. Palopoli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. P. Rullo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Norman Revell A Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Buccafurri, F., Leone, N., Palopoli, L., Rullo, P. (1995). Disjunctive ordered logic. In: Revell, N., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1995. Lecture Notes in Computer Science, vol 978. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0049128

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60303-0

  • Online ISBN: 978-3-540-44790-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation