Login / Signup

Abductive Logic Programming.

Antonis C. KakasRobert A. KowalskiFrancesca Toni
Published in: J. Log. Comput. (1992)
Keyphrases
  • abductive logic programming
  • logic programs
  • proof procedure
  • logic programming
  • answer set programming
  • fixpoint
  • first order logic
  • theorem proving
  • answer sets
  • information systems
  • knowledge representation