Logic programming with integrity constraints

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.

   Google Scholar 

2. J. Davila. REACTIVE PASCAL and the event calculus: A platform toprogram 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.

   Google Scholar 

3. T. Fruehwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and trends, volume 910 of LNCS. Springer Verlag, 1995.

   Google Scholar 

4. T. H. Fung. Abduction with clark completion. In Proc. of the 12th Int. Conf. on Logic Programming. MIT Press, 1995.

   Google Scholar 

5. T. H. Fung. Abduction by Deduction. PhD thesis, Imperial College, 1996.

   Google Scholar 

6. T. H. Fung and R. Kowalski. The iff proof procedure. Technical report, Department of Computing, Imperial College, June 1996.

   Google Scholar 

7. A. Kakas, R. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719–770, 1995.

   Google Scholar 

8. R. Kowalski. Using metalogic to reconcile reactive with rational agents. In K. Apt and F. Turini, editors, Meta-Logics and Logic Programming. MIT Press, 1995.

   Google Scholar 

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.

   Google Scholar 

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.

    Google Scholar 

11. G. Wetzel, R. Kowalski, and F. Toni. A theorem proving approach to CLP. In Proceedings of Logic Programming Workshop WLP'95, 1995.

    Google Scholar 

Download references