Login / Signup

A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming.

Igor Stéphan
Published in: AIMSA (1998)
Keyphrases
  • objective function
  • databases
  • artificial intelligence
  • logic programming language
  • database
  • special case
  • logic programming