Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories

Published in: CoRR (2011)

Keyphrases

function symbols
equational theories
consistency checking
logic programs
logic programming
first order logic
statistical relational learning
finite automata
finite number
horn clauses
continuous functions
defeasible logic
finitely representable
database
causal reasoning
path consistency
databases