Disjunctive Logic Programs with Inheritance Revisited. A Preliminary Report. Conference paper; First Online: 01 January 2002. pp 294–302; Cite this conference ...
Abstract. We argue for a semantical modification of the language DLP<. We show by examples that the current DLP< representation in some cases does not.
We show by examples that the current DLP representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning.
Aug 9, 2023 · Costantini, S. and Otero, R.P. and Provetti, Alessandro and Cao Son, T. (2002) Disjunctive logic programs with inheritance revisited.
May 30, 2001 · The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming (with strong negation) by inheritance.
Missing: Revisited. | Show results with:Revisited.
In this paper, we study a new semantics of logic programming and deductive databases. Thepossible model semantics is introduced as a declarative semantics of ...
Disjunctive logic programs are logic programs where disjunction is allowed in the heads of the rules and. (NAF) negation may occur in the bodies of the ...
Missing: Revisited. | Show results with:Revisited.
Book Section. Costantini, S. and Otero, R.P. and Provetti, Alessandro and Cao Son, T. (2002) Disjunctive logic programs with inheritance revisited.
Stefania Costantini, Ramón P. Otero, Alessandro Provetti , Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302.
This article presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several ...