{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T06:04:18Z","timestamp":1761717858060},"reference-count":59,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":4766,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1016\/s0743-1066(99)00075-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:08:53Z","timestamp":1027634933000},"page":"129-177","source":"Crossref","is-referenced-by-count":68,"title":["ACLP: Abductive Constraint Logic Programming"],"prefix":"10.1016","volume":"44","author":[{"given":"A.C.","family":"Kakas","sequence":"first","affiliation":[]},{"given":"A.","family":"Michael","sequence":"additional","affiliation":[]},{"given":"C.","family":"Mourlas","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(99)00075-8_BIB1","unstructured":"G. Brewka, J. Dix, K. Konolige, Nonmonotonic Reasoning: An Overview, CSLI publications, 1997"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB2","doi-asserted-by":"crossref","unstructured":"M. Bruynooghe, H. Vandecasteele, D. AndredeWaal, M. Denecker, Detecting unsolvable queries for definite logic programs, in: Principles of Declarative Programming, Proceedings of the PLILP '98, LNCS 1490, Springer, Berlin, 1998, pp. 118\u2013133","DOI":"10.1007\/BFb0056611"},{"issue":"5","key":"10.1016\/S0743-1066(99)00075-8_BIB3","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","article-title":"On the relationship between abduction and deduction","volume":"2","author":"Console","year":"1991","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0743-1066(99)00075-8_BIB4","doi-asserted-by":"crossref","unstructured":"L. Console, M.L. Sapino, D. Theseider Dupre, The role of abduction in database view updating, J. Intell. Syst. 1994","DOI":"10.1007\/BF00961655"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB5","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/69.542024","article-title":"Using compiled knowledge to guide and focus abductive diagnosis","volume":"8\u20135","author":"Console","year":"1996","journal-title":"J. IEEE Trans. Knowledge and Data Engrg"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB6","unstructured":"M. Denecker, D. De Schreye, SLDNFA: an abductive procedure for normal abductive programs, in: Proceedings of the International Conference Symposium on Logic Programming, 1992, pp. 686\u2013700"},{"issue":"2","key":"10.1016\/S0743-1066(99)00075-8_BIB7","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","article-title":"SLDNFA: an abductive procedure for abductive logic programs","volume":"34","author":"Denecker","year":"1998","journal-title":"J. Logic Program"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB8","unstructured":"M. Denecker, H. Vandecasteele, D. De Schreye, G. Seghers, T. Bayens, Scheduling by Abductive Execution of a Classical Logic Specification. Technical Report, Department of Computer Science, K.U. Leuven, Belgium, 1997"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB9","unstructured":"P.M. Dung, Negation as hypothesis: an abductive foundation for logic programming, in: Proceedings of Eighth International Conference on Logic Programming, MIT Press, Paris, 1991"},{"issue":"2","key":"10.1016\/S0743-1066(99)00075-8_BIB10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0743-1066(95)94697-X","article-title":"An argumentation theoretic foundation for logic programming","volume":"22","author":"Dung","year":"1995","journal-title":"J. Logic Program."},{"key":"10.1016\/S0743-1066(99)00075-8_BIB11","unstructured":"ECLiPSe User Manual ECRC, Munich, Germany, 1994"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB12","unstructured":"A. El-Kholy, B. Richards, Temporal and resource reasoning in planning: the parcPLAN approach, in: Proceedings of ECAI-96, 1996"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB13","unstructured":"K. Esghsi, Abductive planning with the event calculus, in: Proceedings of the Fifth International Conference on Logic Programming, 1998"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB14","unstructured":"K. Eshghi, R.A. Kowalski, Abduction compared with negation by failure, in: Proceedings of the Sixth International Conference on Logic Programming, ICLP89, Lisbon, MIT Press, Cambridge, 1989"},{"issue":"2","key":"10.1016\/S0743-1066(99)00075-8_BIB15","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","article-title":"The iff proof procedure for abdcutive logic programming","volume":"33","author":"Fung","year":"1997","journal-title":"J. Logic Program."},{"key":"10.1016\/S0743-1066(99)00075-8_BIB16","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth, Constraint Handling Rules, in: A. Podelski (Ed.), Constraint Programming: Basic and Trends, LNCS910, Springer, Berlin, 1995","DOI":"10.1007\/3-540-59155-9_6"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB17","unstructured":"M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: Proceedings of Fifth International Conference on Logic Programming, 1988"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB18","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J.L. Lassez, Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, 1986","DOI":"10.1145\/41625.41635"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB19","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J.L. Lassez, Constraint logic programming, in: Proceedings of 14th ACM Principles of Programming Languages Conference, POPL87, Munich, Germany, 1987","DOI":"10.1145\/41625.41635"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB20","unstructured":"J. Jaffar, J.L. Lassez, M.J. Maher, in: D. DeGroot, G. Lindstrom (Eds), A Logic Programming Language Scheme, Logic Programming: Relations Functions and Equations, Prentice-Hall, NJ, 1986"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB21","article-title":"Constraint logic programming: a survey","volume":"19\/20","author":"Jaffar","year":"1994","journal-title":"J. Logic Program. Special 10th Aniversary Issue"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB22","doi-asserted-by":"crossref","unstructured":"J. Jaffar, M.J. Maher, Constraint Logic Programming: A Survey, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, Oxford, 1998","DOI":"10.1093\/oso\/9780198537922.003.0012"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB23","doi-asserted-by":"crossref","unstructured":"A.C. Kakas, R.A. Kowalski, F. Toni, The Role of Abduction in Logic Programming, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, Oxford University Press, Oxford, 1998, pp. 235\u2013324","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB24","unstructured":"A.C. Kakas, P. Mancarella, Generalized stable models: a semantics for abduction, in: Proceedings of Nineth European Conference on AI, ECAI90, Stockolm, 1990"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB25","unstructured":"A.C. Kakas, P. Mancarella, Abductive logic programming, in: Proceedings of NACLP Workshop on Non-Monotonic Reasoning and Logic Programming, Austin, Texas, 1990"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB26","unstructured":"A.C. Kakas, P. Mancarella, On the relation of truth maintenance and abduction, in: Proceedings of First Pacific Rim International Conference on Artificial Intelligence, PRICAI90, Nagoya, Japan, 1990"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB27","unstructured":"A.C. Kakas, P. Mancarella, Database updates through abduction, in: Proceedings of 16th International Conference on Very Large Databases, VLDB'90, Brisbane, Australia, 1990"},{"issue":"3,4","key":"10.1016\/S0743-1066(99)00075-8_BIB28","first-page":"341","article-title":"Preferred extensions are partial stable models","volume":"14","author":"Kakas","year":"1993","journal-title":"J. Logic Program."},{"key":"10.1016\/S0743-1066(99)00075-8_BIB29","unstructured":"A.C. Kakas, P. Mancarella, Constructive Abduction in Logic Programming, Technical Report, Dipartimento di Informatica, Universit di Pisa, 1993"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB30","doi-asserted-by":"crossref","unstructured":"A.C. Kakas, A. Michael, Integrating abductive and constraint logic programming, in: Proceedings of the 12th International Conference on Logic Programming, Tokyo, 1995","DOI":"10.7551\/mitpress\/4298.003.0043"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB31","doi-asserted-by":"crossref","unstructured":"A.C. Kakas, A. Michael, Timetabling in an integrated abductive and constraint logic programming framework, in: Proceedings of the First International Conference on the Practice and Theory of Automated Timetabling, ICPTAT-95, 167\u2013177, Edingburgh, 1995","DOI":"10.7551\/mitpress\/4298.003.0043"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB32","doi-asserted-by":"crossref","unstructured":"A.C. Kakas, C. Mourlas, ACLP: Flexible solutions to complex problems, in: Proceedings of Logic Programming and Non-monotonic Reasoning, 1997","DOI":"10.1007\/3-540-63255-7_29"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB33","unstructured":"K. Konolige, Closure+minimization implies abduction, in: Proceedings of PRICAI90, 1990"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB34","doi-asserted-by":"crossref","unstructured":"R.A. Kowalski, Problem and promises of computational logic, in: Lloyd (Ed.), Proceedings of Symposium on Computational Logic, Lecture Notes in Computer Science, Springer, Berlin, 1990","DOI":"10.1007\/978-3-642-76274-1_1"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB35","unstructured":"R.A. Kowalski, F. Sadri, Knowledge representation without integrity constraints, Technical report, Department of Computing, Imperial College, London, 1988"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB36","doi-asserted-by":"crossref","DOI":"10.1007\/BF03037383","article-title":"A logic-based calculus of events","volume":"4","author":"Kowalski","year":"1986","journal-title":"New Generation Comput."},{"key":"10.1016\/S0743-1066(99)00075-8_BIB37","unstructured":"R.A. Kowalski, G. Wetzel, F. Toni, A Unifying Framework for ALP, CLP and SQO, Technical report, Department of Computing, Imperial College, London, 1996"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB38","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB39","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","article-title":"A basis for deductive database system","volume":"2","author":"Lloyd","year":"1985","journal-title":"J. Logic Program."},{"key":"10.1016\/S0743-1066(99)00075-8_BIB40","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0304-3975(93)90013-J","article-title":"A transformation system for deductive database modules with perfect model semantics","volume":"110","author":"Maher","year":"1993","journal-title":"Theoretical Computer Sci."},{"key":"10.1016\/S0743-1066(99)00075-8_BIB41","unstructured":"E. Maim, Abduction and constraint logic programming, in: Proceedings of ECAI92, Vienna, Austria, 1992"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB42","doi-asserted-by":"crossref","unstructured":"T. Menzies, Applications of abduction: knowledge-level modeling, Int. J. Human Computer Studies, August, 1996","DOI":"10.1006\/ijhc.1996.0054"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB43","unstructured":"A. Michael, Abductive Logic Programming and its Application to Scheduling, Ph.D. thesis, University of London, Submitted, 1998"},{"issue":"5","key":"10.1016\/S0743-1066(99)00075-8_BIB44","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/logcom\/5.5.579","article-title":"CHICA A planning system based on the event calculus","volume":"5","author":"Missiaen","year":"1995","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0743-1066(99)00075-8_BIB45","unstructured":"R. Reiter, On integrity constraints, in: Y. Vardi (Ed.), Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Moshe, Pacific Grove, California, 1988"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB46","doi-asserted-by":"crossref","unstructured":"D. Poole, R.G. Goebel, Aleliunas, Theorist: a logical reasoning system for default and diagnosis, The Knowledge Fronteer: Essays in the Representation of Knowledge, Cercone, in: McCalla (Eds.), Lecture Notes in Computer Science, Springer, Berlin, 1987","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB47","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00243002","article-title":"On the declarative and procedural semantics of logic programs","volume":"5","author":"Przymusinski","year":"1989","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB48","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e0, C. Zaniolo, Stable models and non determinism for logic programs with negation, in: Proceedings of the ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 1990","DOI":"10.1145\/298514.298572"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB49","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0743-1066(90)90032-Z","article-title":"Completed logic programs and their consistency","volume":"9","author":"Sato","year":"1990","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB50","unstructured":"N. Sadeh, Look-Ahead Techniques for Micro-Opportunistic Job Shop Scheduling, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, 1991"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB51","unstructured":"M.P. Shanahan, Prediction is deduction but explanation is abduction, in: Proceedings of IJCAI89, 1989"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB52","unstructured":"M.P. Shanahan, Robotics and the common sense informatic situation, in: Proceedings of the 12th European Conference on Artificial Intelligence, Hungary, 1996"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB53","doi-asserted-by":"crossref","unstructured":"M.P. Shanahan, Event Calculus Planning Revisited, in: Proceedings of the 1997 European Conference on Planning (ECP 97), 1997","DOI":"10.1007\/3-540-63912-8_101"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB54","unstructured":"F. Teusink, Using SLDFA-resolution with abductive logic programs, ILPS93 postconference workshop on Logic Programming with Incomplete Information, 1993"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB55","unstructured":"F. Teusink, Logic Programming and Non-Monotonic Reasoning, Ph.D. Thesis. Department of Computing, University of Amsterdam, 1996"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB56","unstructured":"F. Toni, A theorem-proving approach to job-shop scheduling, Technical Report, Imperial College, 1994"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB57","series-title":"Constraint satisfaction in logic programming","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB58","unstructured":"G. Wetzel, Scheduling in a New Constraint Logic Programming Framework, M.Sc. thesis, Imperial College, London, 1994"},{"key":"10.1016\/S0743-1066(99)00075-8_BIB59","unstructured":"G. Wetzel, Abductive and Constraint Logic Programming, Ph.D. thesis, Imperial College, London, 1997"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000758?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000758?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T14:43:17Z","timestamp":1704120197000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106699000758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":59,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["S0743106699000758"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(99)00075-8","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}