Bibliography

1

Marc Denecker and Antonis C. Kakas
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond 2002: 402-436

2

Bert van Nuffelen and Antonis Kakas
$\mathcal{A}$-system: Declarative Programming with Abduction
Logic Programming and Non-Motonic Reasoning, vol. 2173, 393-397, 2001

3

A. Kakas, B. Van Nuffelen, and M. Denecker
A-system : Problem solving through abduction
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (B. Nebel, ed.), vol. 1, Morgan Kaufmann Publishers, Inc, 2001, pp. 591-596.

4

S.Russell and P.Norvig
Artificial Intelligence: A Modern Approach
Prentice Hall International, 1995.