Login / Signup

Concurrent Abductive Logic Programming in Pandora.

Reem BahgatOsama MostafaGeorge A. Papadopoulos
Published in: Int. J. Artif. Intell. Tools (2001)
Keyphrases
  • abductive logic programming
  • logic programs
  • proof procedure
  • logic programming
  • orders of magnitude
  • answer sets