Compiling Logics.

Mihai Codescu Feryal Fulya Horozal Aivaras Jakubauskas Till Mossakowski Florian Rabe

Published in: WADT (2012)

Keyphrases

modal logic
expressive power
inference rules
propositional calculus
epistemic logic
three dimensional
higher order
data sets
machine learning
multi agent systems
expert systems
nonmonotonic logics
proof theoretic