Sign in

Inductive Assertion Method for Logic Programs.

Wlodzimierz DrabentJan Maluszynski
Published in: TAPSOFT, Vol.2 (1987)
Keyphrases
  • logic programs
  • inductive logic programming
  • logic programming
  • inside outside algorithm
  • term rewriting systems
  • machine learning
  • high level
  • bayesian networks
  • integrity constraints
  • answer set programming