Login / Signup
Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description).
Daniel Gorín
Dirk Pattinson
Lutz Schröder
Florian Widmann
Thorsten Wißmann
Published in:
IJCAR (2014)
Keyphrases
</>
high level
expressive power
query answering
modal logic
domain specific
inference rules
conditional logic
proof theory
inheritance reasoning
databases
multi agent
higher order
integrity constraints
consistency checking