ACLP: Abductive Constraint Logic Programming

The Journal of Logic Programming - Tập 44 - Trang 129-177 - 2000
A.C. Kakas1, A. Michael1, C. Mourlas1
1Department of Computer Science, University of Cyprus, P.O. Box 20537, CY-1678 Nicosia, Cyprus

Tài liệu tham khảo

G. Brewka, J. Dix, K. Konolige, Nonmonotonic Reasoning: An Overview, CSLI publications, 1997

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–133

Console, 1991, On the relationship between abduction and deduction, J. Logic Comput., 2, 661, 10.1093/logcom/1.5.661

L. Console, M.L. Sapino, D. Theseider Dupre, The role of abduction in database view updating, J. Intell. Syst. 1994

Console, 1996, Using compiled knowledge to guide and focus abductive diagnosis, J. IEEE Trans. Knowledge and Data Engrg, 8–5, 690, 10.1109/69.542024

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–700

Denecker, 1998, SLDNFA: an abductive procedure for abductive logic programs, J. Logic Program, 34, 111, 10.1016/S0743-1066(97)00074-5

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

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

Dung, 1995, An argumentation theoretic foundation for logic programming, J. Logic Program., 22, 151, 10.1016/0743-1066(95)94697-X

ECLiPSe User Manual ECRC, Munich, Germany, 1994

A. El-Kholy, B. Richards, Temporal and resource reasoning in planning: the parcPLAN approach, in: Proceedings of ECAI-96, 1996

K. Esghsi, Abductive planning with the event calculus, in: Proceedings of the Fifth International Conference on Logic Programming, 1998

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

Fung, 1997, The iff proof procedure for abdcutive logic programming, J. Logic Program., 33, 151, 10.1016/S0743-1066(97)00026-5

T. Frühwirth, Constraint Handling Rules, in: A. Podelski (Ed.), Constraint Programming: Basic and Trends, LNCS910, Springer, Berlin, 1995

M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: Proceedings of Fifth International Conference on Logic Programming, 1988

J. Jaffar, J.L. Lassez, Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, 1986

J. Jaffar, J.L. Lassez, Constraint logic programming, in: Proceedings of 14th ACM Principles of Programming Languages Conference, POPL87, Munich, Germany, 1987

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

Jaffar, 1994, Constraint logic programming: a survey, J. Logic Program. Special 10th Aniversary Issue, 19/20

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

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–324

A.C. Kakas, P. Mancarella, Generalized stable models: a semantics for abduction, in: Proceedings of Nineth European Conference on AI, ECAI90, Stockolm, 1990

A.C. Kakas, P. Mancarella, Abductive logic programming, in: Proceedings of NACLP Workshop on Non-Monotonic Reasoning and Logic Programming, Austin, Texas, 1990

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

A.C. Kakas, P. Mancarella, Database updates through abduction, in: Proceedings of 16th International Conference on Very Large Databases, VLDB'90, Brisbane, Australia, 1990

Kakas, 1993, Preferred extensions are partial stable models, J. Logic Program., 14, 341

A.C. Kakas, P. Mancarella, Constructive Abduction in Logic Programming, Technical Report, Dipartimento di Informatica, Universit di Pisa, 1993

A.C. Kakas, A. Michael, Integrating abductive and constraint logic programming, in: Proceedings of the 12th International Conference on Logic Programming, Tokyo, 1995

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–177, Edingburgh, 1995

A.C. Kakas, C. Mourlas, ACLP: Flexible solutions to complex problems, in: Proceedings of Logic Programming and Non-monotonic Reasoning, 1997

K. Konolige, Closure+minimization implies abduction, in: Proceedings of PRICAI90, 1990

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

R.A. Kowalski, F. Sadri, Knowledge representation without integrity constraints, Technical report, Department of Computing, Imperial College, London, 1988

Kowalski, 1986, A logic-based calculus of events, New Generation Comput., 4, 10.1007/BF03037383

R.A. Kowalski, G. Wetzel, F. Toni, A Unifying Framework for ALP, CLP and SQO, Technical report, Department of Computing, Imperial College, London, 1996

Lloyd, 1987

Lloyd, 1985, A basis for deductive database system, J. Logic Program., 2, 93, 10.1016/0743-1066(85)90013-5

Maher, 1993, A transformation system for deductive database modules with perfect model semantics, Theoretical Computer Sci., 110, 377, 10.1016/0304-3975(93)90013-J

E. Maim, Abduction and constraint logic programming, in: Proceedings of ECAI92, Vienna, Austria, 1992

T. Menzies, Applications of abduction: knowledge-level modeling, Int. J. Human Computer Studies, August, 1996

A. Michael, Abductive Logic Programming and its Application to Scheduling, Ph.D. thesis, University of London, Submitted, 1998

Missiaen, 1995, CHICA A planning system based on the event calculus, J. Logic Comput., 5, 579, 10.1093/logcom/5.5.579

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

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

Przymusinski, 1989, On the declarative and procedural semantics of logic programs, J. Automated Reasoning, 5, 167, 10.1007/BF00243002

D. Saccà, 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

Sato, 1990, Completed logic programs and their consistency, J. Logic Programming, 9, 33, 10.1016/0743-1066(90)90032-Z

N. Sadeh, Look-Ahead Techniques for Micro-Opportunistic Job Shop Scheduling, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, 1991

M.P. Shanahan, Prediction is deduction but explanation is abduction, in: Proceedings of IJCAI89, 1989

M.P. Shanahan, Robotics and the common sense informatic situation, in: Proceedings of the 12th European Conference on Artificial Intelligence, Hungary, 1996

M.P. Shanahan, Event Calculus Planning Revisited, in: Proceedings of the 1997 European Conference on Planning (ECP 97), 1997

F. Teusink, Using SLDFA-resolution with abductive logic programs, ILPS93 postconference workshop on Logic Programming with Incomplete Information, 1993

F. Teusink, Logic Programming and Non-Monotonic Reasoning, Ph.D. Thesis. Department of Computing, University of Amsterdam, 1996

F. Toni, A theorem-proving approach to job-shop scheduling, Technical Report, Imperial College, 1994

Van Hentenryck, 1989

G. Wetzel, Scheduling in a New Constraint Logic Programming Framework, M.Sc. thesis, Imperial College, London, 1994

G. Wetzel, Abductive and Constraint Logic Programming, Ph.D. thesis, Imperial College, London, 1997

Thông tin
Thông tin xuất bản

The Journal of Logic Programming

Tập 44

129-177

Thông tin tác giả