Disjunctive logic programming with types and objects: The DLV+ system
Under an Elsevier user license
open archive
Keywords
Disjunctive logic programming
Objects
Types
Ontologies
Reasoning
Cited by (0)
Copyright © 2006 Elsevier B.V. All rights reserved.