Login / Signup

Algebraic Methods in the Compositional Analysis of Logic Programs.

Fernando OrejasElvira PinoHartmut Ehrig
Published in: MFCS (1994)
Keyphrases
  • logic programs
  • logic programming
  • background knowledge
  • answer sets
  • counter examples
  • machine learning
  • artificial intelligence
  • inductive logic programming
  • partial deduction
  • inside outside algorithm