Login / Signup

A decidable subclass of finitary programs.

Sabrina BaselicePiero A. Bonatti
Published in: Theory Pract. Log. Program. (2010)
Keyphrases
  • function symbols
  • finite state
  • logic programs
  • computer programs
  • database
  • data mining
  • real time
  • neural network
  • information systems
  • website
  • np complete
  • first order logic
  • answer set programming
  • polynomial hierarchy