Disjunctive Logic Programs with Inheritance Revisited

A Preliminary Report
  • Stefania Costantini
  • Ramón P. Otero
  • Alessandro Provetti
  • Tran C. Son
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2366)


We argue for a semantical modification of the language DLP<. We show by examples that the current DLP< representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of DLP< that yields the expected answers in some examples that we consider significant


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Buccafurri F., Faber W. and Leone N., 1999. Disjunctive Logic Programs with Inheritance. Proc. of ICLP’99, pp. 79–93. Long version submitted for publication.Google Scholar
  2. 2.
    Dung P.M. and Son T.C., 1995. Nonmonotonic inheritance, argumentation, and logic programming. In Proc. of the 3th Int’l Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR’95), pp. 316–329.Google Scholar
  3. 3.
    Gelfond, M. and Lifschitz, V., 1991. Classical Negation in Logic Programming and Disjunctive Databases, New Generation Computing 9, 1991: 365–385.Google Scholar
  4. 4.
    Horty J.F., 1994. Some direct theories of non-monotonic inheritance. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of Logic and Artificial Intelligence and Logic Programming, pages 111–187. Oxford Uni., 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Stefania Costantini
    • 1
  • Ramón P. Otero
    • 2
  • Alessandro Provetti
    • 3
  • Tran C. Son
    • 4
  1. 1.Dipartimento d’InformaticaUniversità degli Studi di L’AquilL’AquilaItaly
  2. 2.AI Lab Dep. da ComputacionUniversity of CorunnaCorunnaSpain
  3. 3.Dip. di FisicaUniversità degli Studi di MessinaSalita SperoneMessinaItaly
  4. 4.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA

Personalised recommendations