Tutorial on Compilation techniques for Logics.

Hans Jürgen Ohlbach Andreas Herzig

Published in: CADE (1990)

Keyphrases

modal logic
expressive power
inference rules
knowledge compilation
conditional logic
propositional calculus
prime implicates
temporal logic
decision procedures
nonmonotonic logics
horn logic
real time
propositional dynamic logic
proof theoretic
higher order
multi agent
social networks
information retrieval
databases