Login / Signup

On Herbrand consistency in weak arithmetic.

Zofia AdamowiczPawel Zbierski
Published in: Arch. Math. Log. (2001)
Keyphrases
  • logic programs
  • logic programming
  • first order logic
  • arithmetic operations
  • consistency checking
  • data sets
  • neural network
  • artificial intelligence
  • search algorithm
  • global consistency
  • declarative semantics