Login / Signup

Representing Incomplete Knowledge in Abductive Logic Programming.

Marc DeneckerDanny De Schreye
Published in: J. Log. Comput. (1995)
Keyphrases
  • incomplete knowledge
  • abductive logic programming
  • logic programs
  • description logics
  • proof procedure
  • programming language