Volume 44,
Numbers 1-3,
1 July 2000
Abductive Logic Programming
- Marc Denecker, Antonis C. Kakas:
Special issue: abductive logic programming.
1-4 BibTeX
- David Poole:
Abducing through negation as failure: stable models within the independent choice logic.
5-35 BibTeX
- Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino:
Conditional reasoning in logic programming.
37-74 BibTeX
- Chiaki Sakama, Katsumi Inoue:
Abductive logic programming and disjunctive logic programming: their relationship and transferability.
75-100 BibTeX
- Jia-Huai You, Li-Yan Yuan, Randy Goebel:
An abductive approach to disjunctive logic programming.
101-127 BibTeX
- Antonis C. Kakas, A. Michael, Costas Mourlas:
ACLP: Abductive Constraint Logic Programming.
129-177 BibTeX
- Noboru Iwayama, Ken Satoh:
Computing abduction by using TMS with top-down expectation.
179-206 BibTeX
- Murray Shanahan:
An abductive event calculus planner.
207-240 BibTeX
Copyright © Sun May 17 00:10:08 2009
by Michael Ley (ley@uni-trier.de)
