Login / Signup

A Necessary and Sufficient Condition in Order That a Herbrand Interpretation Be Expressive Relative to Recursive Programs

Pawel Urzyczyn
Published in: Inf. Control. (1983)
Keyphrases
  • sufficient conditions
  • neural network
  • logic programming
  • lyapunov function
  • databases
  • machine learning
  • relational databases