Separating bounded arithmetical theories by Herbrand consistency.

Published in: J. Log. Comput. (2012)

Keyphrases

logic programs
logic programming
information systems
theoretical framework
first order logic
global constraints
asymptotically optimal
expert systems
horn clauses
consistency checking
statistical relational learning
maintaining consistency