Login / Signup

An Abductive Framework for Negation in Disjunctive Logic Programming.

Chandrabose Aravindan
Published in: JELIA (1996)
Keyphrases
  • logic programming
  • disjunctive logic programming
  • high level
  • upper bound