Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 44
Volume 44, Numbers 1-3, 1 July 2000
- 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, Antonia 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-13 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
