Sign in

Inductive Assertion Method for Logic Programs.

Wlodzimierz DrabentJan Maluszynski
Published in: Theor. Comput. Sci. (1988)
Keyphrases
  • logic programs
  • logic programming
  • inductive logic programming
  • term rewriting systems
  • machine learning
  • artificial intelligence
  • partial deduction