Logical theories and compatible operations.

Achim Blumensath Thomas Colcombet Christof Löding

Published in: Logic and Automata (2008)

Keyphrases

logical theories
domain specific
situation calculus
inductive logic programming
propositional logic