Login / Signup

Synthesis of a Unification Algorithm in a Logic Programming Calculus.

Lars-Henrik Eriksson
Published in: J. Log. Program. (1984)
Keyphrases
  • logic programming
  • search space
  • logic programs
  • default logic
  • programming language
  • answer set programming
  • nonmonotonic reasoning
  • data mining
  • deductive databases
  • answer sets
  • reasoning tasks
  • reasoning about actions