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