Robert Kowalski

Address: Imperial College, Department of Computing,
180 Queen's Gate, London SW7 2BZ, UK

Phone: +44-171-594-8225

Email: rak@doc.ic.ac.uk

Research Interests

• Logic programming for knowledge representation and problem solving
  • temporal reasoning
  • meta level reasoning
  • default reasoning
  • abduction
  • argumentation

• Multi-agent systems
  • reconciling reactive and rational agents

• Legal reasoning
  • formalisation of rules, regulations and legislation
    (click here for a 30 minutes internet lecture)

Miscellanea

• Secretary of ALP, the Association for Logic Programming.

• Grant holder (with Dr F. Sadri) for the EPSRC-funded project Logic-based multi-agent systems.

• Head of Department of Computing, Imperial College.

Selected bibliography

Logic programming for knowledge representation and problem solving

• R.A. Kowalski, F. Toni, G. Wetzel,
  Executing Suspended Logic Programs,
  To appear in Fundamenta Informaticae (1998)

• A. C. Kakas, R. Kowalski, F. Toni,
  The Role of Abduction in Logic Programming,
  In: Handbook of Logic in Artificial Intelligence and Logic Programming 5, pages 235-324, D.M. Gabbay, C.J. Hogger and J.A. Robinson eds., Oxford University Press (1998)

• P.M. Dung, R.A. Kowalski, F. Toni,
  Argumentation-theoretic proof procedures for default reasoning,
  Department of Computing, Imperial College (1997)

• T.H Fung, R. Kowalski,
  The IFF Proof Procedure for Abductive Logic Programming,
  In: Journal of Logic Programming (1997)

• R. Kowalski, F. Sadri,
  Reconciling the Situation Calculus and Event Calculus,
  In: Journal of Logic Programming Vol. 31, pages 39-58, Special Issue on Reasoning about Action and Change (1997)

• A. Bondarenko, P.M. Dung, R. Kowalski, F. Toni,
  An abstract, argumentation-theoretic approach to default reasoning,
  In: Artificial Intelligence 93(1-2) pages 63-101 (1997)

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

• P.M. Dung, R. Kowalski, F. Toni,
  Synthesis of proof procedures for default reasoning ,
  In: Proc. LOPSTR'96, International Workshop on Logic Program Synthesis and Transformation, J. Gallagher ed., LNCS 1207, Springer Verlag, pages 313-324 (1996)

• F. Toni, R. Kowalski,
  Reduction of abductive logic programs to normal logic programs,
  In: Proc. International Conference on Logic Programming, L. Sterling, ed., MIT Press, pages 367-381 (1995)

• G. Wetzel, R. Kowalski, F. Toni,
  A Theorem-Proving Approach to CLP,
  In: Proc. of Logic Programming Workshop WLP'95, A. Krall and U. Geske, eds., Vienna (1995)

• F. Sadri, R. Kowalski,
  Variants of the event calculus, In: Proc. International Conference on Logic Programming, L. Sterling, ed., MIT Press (1995)

• F. Toni, R. Kowalski,
  An argumentation-theoretic approach to logic program transformation,
  In: Proc. LOPSTR'95, International Workshop on Logic Program Synthesis and Transformation, M. Proietti ed., LNCS 1048, Springer Verlag, pages 61-75 (1995)

• R. Kowalski,
  Logic without Model Theory,
  In: What is a logical system?, D. Gabbay ed., Oxford University Press (1995)

• R. Kowalski, F. Toni, G. Wetzel,
  Towards a declarative and efficient glass-box CLP language,
  In: Proc. of Logic Programming Workshop WLP'94, N. Fuchs and G. Gottlob, eds., Zurich (1994)

• R. Kowalski, F. Sadri,
  The situation calculus and event calculus compared,
  In: Proc. International Logic Programming Symposium, ILPS'94 (1994)

• A. Bondarenko, F. Toni, R. Kowalski,
  An Assumption-based Framework for Non-monotonic Reasoning,
  In: Proc. 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, L.M. Pereira and A. Nerode, eds., pages 171-189 (1993)

• A.C. Kakas, R. Kowalski, F. Toni,
  Abductive logic programming,
  In: Journal of Logic and Computation 2(6) pages 719-770 (1992)

• R. Kowalski, F. Sadri,
  An Agent Architecture that Unifies Rationality with Reactivity,
  Department of Computing, Imperial College (1997)

• R. Kowalski, F. Sadri,
  Towards a unified agent architecture that combines rationality with reactivity,
  In: Proc. International Workshop on Logic in Databases, San Miniato, Italy, Springer-Verlag, LNCS 1154 (1996)

• R. Kowalski,
  Using metalogic to reconcile reactive with rational agents,
  In: Meta-Logics and Logic Programming (K. Apt and F. Turini, eds.), MIT Press (1995)

• R. Kowalski, F. Toni,
  Abstract Argumentation,
  In: Artificial Intelligence and Law Journal 4(3-4), Special Issue on Logical Models of Argumentation, H. Prakken and G. Sartor, eds., Kluwer Academic Publishers, pages 275-296 (1996)

• R. Kowalski, F. Toni,
  Argument and Reconciliation,
  In: International Symposium on Fifth Generation Computer Systems '94, Workshop on Legal Reasoning, Tokyo, pages 9-16 (1994)