Logic programming with integrity constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1126, Issue , 1996, Pages 301-302

  Kowalski, Robert ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84955589859     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61630-6_21     Document Type: Conference Paper

References (11)

1. U. S. Chakravarthy, J. Grant, and J. Minker. Foundations of semantic query optimisation for deductive databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1987.
2. J. Davila. REACTIVE PASCAL and the event calculus: A platform to program reactive, rational agents. In Ute C. Sigmund and Michael Thielscher, editors, Proceedings of the Workshop at FAPR’95: Reasoning about Actions and Planning in Complex Environments, 1996.
3. T. Fruehwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and trends, volume 910 of LNCS. Springer Verlag, 1995.
4. T. H. Fung. Abduction with clark completion. In Proc. of the 12th Int. Conf. on Logic Programming. MIT Press, 1995.
5. T. H. Fung. Abduction by Deduction. PhD thesis, Imperial College, 1996.
6. T. H. Fung and R. Kowalski. The iff proof procedure. Technical report, Department of Computing, Imperial College, June 1996.
7. A. Kakas, R. Kowalski, F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719-770, 1995.
8. R. Kowalskl. Using metalogic to reconcile reactive with rational agents. In K. Apt and F. Turini, editors, Meta-Logics and Logic Programming. MIT Press, 1995.
9. R. Kowalski and F. Sadri. Towards a unified architecture that combines rationality with reactivity. In Proceedings of LDS’96 (Logic in Databases). Springer Verlag, 1996.
10. R. Kowalski, F. Toni, and G. Wetzel. Towards a declarative and efficient glass-box CLP. In Proceedings of Logic Programming Workshop WLP’94, 1994.
11. G. Wetzel, R. Kowalski, and F. Toni. A theorem proving approach to CLP. In Proceedings of Logic Programming Workshop WLP’95, 1995.