Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello & Paolo Torroni (2005):
Security Protocols Verification in Abductive Logic Programming: A Case Study.
In: International Workshop on Engineering Societies in the Agents World.
Springer,
pp. 106–124,
doi:10.1007/11759683_7.
José Júlio Alferes, Luís Moniz Pereira & Terrance Swift (2004):
Abduction in Well-founded Semantics and Generalized Stable Models via Tabled Dual Programs.
Theory and Practice of Logic Programming 4(4),
pp. 383–428,
doi:10.1017/S1471068403001960.
Marc Denecker & Antonis Kakas (2002):
Abduction in Logic Programming.
In: Computational logic: Logic Programming and Beyond.
Springer,
pp. 402–436,
doi:10.1007/3-540-45628-7_16.
Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio & Luís Moniz Pereira (2000):
Psychiatric Diagnosis from the Viewpoint of Computational Logic.
In: International Conference on Computational Logic.
Springer,
pp. 1362–1376,
doi:10.1007/3-540-44957-4_91.
Muhammad Okky Ibrohim & Ari Saptawijaya (2019):
Tabling with Interned Terms on Contextual Abduction.
Jurnal Ilmu Komputer dan Informasi 12(1),
pp. 1–11,
doi:10.21609/jiki.v12i1.569.
Antonis C. Kakas & Antonia Michael (2001):
An Abductive-based Scheduler for Air-crew Assignment.
Applied Artificial Intelligence 15(3),
pp. 333–360,
doi:10.1080/08839510151063299.
Robert Kowalski & Fariba Sadri (2011):
Abductive Logic Programming Agents with Destructive Databases.
Annals of Mathematics and Artificial Intelligence 62(1-2),
pp. 129–158,
doi:10.1007/s10472-011-9253-y.
Sotiris Lazarou, Antonis C. Kakas, Christiana Neophytou & Andreas Constantinou (2013):
Automated Scientific Assistant for Cancer and Chemoprevention.
In: IFIP International Conference on Artificial Intelligence Applications and Innovations 412.
Springer,
pp. 96–109,
doi:10.1007/978-3-642-41142-7_11.
Luís Moniz Pereira, Joaquim Nunes Aparício & José Júlio Alferes (1991):
Hypothetical Reasoning with Well Founded Semantics.
In: Procs. 3rd Scandinavian Conference on Artificial Intelligence 12.
IOS Press,
pp. 289.
Available at https://run.unl.pt/bitstream/10362/64287/1/scai91-1.pdf.
Syukri Mullia Adil Perkasa, Ari Saptawijaya & Luís Moniz Pereira (2017):
Tabling in Contextual Abduction with Answer Subsumption.
In: 2017 International Conference on Advanced Computer Science and Information Systems (ICACSIS).
IEEE,
pp. 459–464,
doi:10.1109/ICACSIS.2017.8355074.
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli & Luis Palacios Medinacelli (2018):
A Core Method for the Weak Completion Semantics with Skeptical Abduction.
Journal of Artificial Intelligence Research 63,
pp. 51–86,
doi:10.1613/jair.1.11236.
T. Swift (1999):
Tabling for Non-Monotonic Programming.
Annals of Mathematics and Artificial Intelligence 25(3-4),
pp. 201–240,
doi:10.1023/A:1018990308362.
T. Swift & D. S. Warren (2012):
XSB: Extending Prolog with Tabled Logic Programming.
Theory and Practice of Logic Programming 12(1-2),
pp. 157–187,
doi:10.1017/S1471068411000500.
Terrance Swift & David S Warren (2010):
Tabling with Answer Subsumption: Implementation, Applications and Performance.
In: European Workshop on Logics in Artificial Intelligence.
Springer,
pp. 300–312,
doi:10.1007/978-3-642-15675-5_26.
Allen Van Gelder, Kenneth A Ross & John S Schlipf (1991):
The Well-Founded Semantics for General Logic Programs.
Journal of the ACM (JACM) 38(3),
pp. 619–649,
doi:10.1145/116825.116838.
Bert Van Nuffelen & Antonis Kakas (2001):
A-System: Declarative Programming with Abduction.
In: International Conference on Logic Programming and Nonmonotonic Reasoning.
Springer,
pp. 393–397,
doi:10.1007/3-540-45402-0_29.
eptcs@eptcs.org