Herbrand consistency of some arithmetical theories.

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

Keyphrases

logic programs
logic programming
first order logic
consistency checking
horn clauses
legal knowledge
theoretical framework
databases
constraint networks
computational models
design theory
formal models
causal reasoning
defeasible logic
background knowledge
computational model
decision trees
neural network