Login / Signup
Qualified Logic as a Means of Integrating Conceptual Formalisms.
Jan Paredis
Published in:
ECAI (1988)
Keyphrases
</>
logic programming
computational properties
knowledge representation formalisms
modal logic
data sets
databases
description logics
logic programs
classical logic
database
automated reasoning
defeasible logic
nonmonotonic logics
action theories
logical representation