Sign in

Synthesis of Directionality Information for Functional Logic Programs.

Johan BoyeJukka PaakkiJan Maluszynski
Published in: WSA (1993)
Keyphrases
  • software engineering
  • logic programs
  • logic programming
  • answer set programming
  • background knowledge
  • domain knowledge
  • answer sets
  • knowledge base
  • inductive logic programming
  • fixpoint