Login / Signup
Circumscriptions as Preferential Entailment.
Yves Moinard
Published in:
ECAI (1992)
Keyphrases
</>
tableau calculus
logic programming
np complete
textual entailment
probabilistic logic
description logics
preference relations
polynomial hierarchy
recognizing textual entailment
knowledge base
database
relational databases
logic programs