Login / Signup
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
Marco Alberti
Massimiliano Cattafi
Federico Chesani
Marco Gavanelli
Evelina Lamma
Marco Montali
Paola Mello
Paolo Torroni
Published in:
ICWS (2009)
Keyphrases
</>
description logics
knowledge base
abductive logic programming
reasoning tasks
computational properties
dl lite
knowledge representation
reasoning systems
knowledge representation and reasoning
model theoretic
logic programs
ontology languages
database systems
formal model
proof procedure