Logic programming with integrity constraints

  • Robert Kowalski
Invited Speaker
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1126)


  1. 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. 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. 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. 4.
    T. H. Fung. Abduction with clark completion. In Proc. of the 12th Int. Conf. on Logic Programming. MIT Press, 1995.Google Scholar
  5. 5.
    T. H. Fung. Abduction by Deduction. PhD thesis, Imperial College, 1996.Google Scholar
  6. 6.
    T. H. Fung and R. Kowalski. The iff proof procedure. Technical report, Department of Computing, Imperial College, June 1996.Google Scholar
  7. 7.
    A. Kakas, R. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719–770, 1995.Google Scholar
  8. 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. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Robert Kowalski
    • 1
  1. 1.Imperial CollegeLondonUK

Personalised recommendations