On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories.

Leszek Aleksander Kolodziejczyk

Published in: J. Symb. Log. (2006)

Keyphrases

logic programs
logic programming
first order logic
theoretical framework
computational models
general theory
statistical relational learning
data sets
inductive inference
path consistency