Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2000 (King's College London, 20-21 July 2000)

The Seventh Workshop on Automated Reasoning was held in the week before the First International Conference on Computational Logic and the Tenth International Conference on Inductive Logic Programming, both of which took place at Imperial College, London. Financial support was received from the Max-Planck-Institute for Computer Science in Saarbrücken.


  • Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, and Stefan Schlobach, editors. Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice. CEUR Workshop Proceedings, volume 32, July 2000.
    [web site]   [pdf]   [bibtex]

Workshop Information


last modified on Friday, 15-Apr-2005 13:42:21 BST