Eighth Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice


List of accepted papers

  1. Allessandro Artale, Enrico Franconi (University of Manchester), Milenko Mosurovi\v{c} (University of Montenegro), Frank Wolter (University of Leipzig), and Michael Zakharyaschev (King's College)
    Modal Logics and Databases: Reasoning over Conceptual Schemas and Queries in Temporal Databases
  2. Christoph Benzmüller (Universität des Saarlandes)
    An agent-based approach to reasoning (invited talk)
  3. Christoph Benzmüller, Andreas Meier, Martin Pollet, and Volker Sorge (Universität des Saarlandes)
    Proof Transformation and Expansion with a Parameterizable Inference Machine
  4. Paul A.Cairns and Jeremy Gow (Middlesex University)
    Interactive Presentations of Mathematics: A Position Paper
  5. Simon Colton, Lyndon Drake, Alan M. Frisch, Ian Miguel, and Toby Walsh (University of York)
    Automatic Generation of Implied Constraints: Initial Progress
  6. Dmitri Chubarov and Andrei Voronkov (University of Manchester)
    Formula instantiation is decidable for the monadic class
  7. Anatoli Degtyarev and Michael Fisher (University of Liverpool)
    An extension of propositional temporal resolution
  8. Hans van Ditmarsch, Roy Dyckhoff (St Andrews University)
    Sequent Calculi for Logics with Common Knowledge
  9. Clare Dixon (University of Liverpool)
    Proof in the Core of the KARO Agent Theory
  10. Ulrich Endriss (King's College London)
    Modal Logic and Temporal Constraint Networks
  11. M. Carmen Fernandez-Gago (University of Liverpool)
    Algorithms for Guiding Clausal Temporal Resolution
  12. Michael Fisher (University of Liverpool)
    Concurrent theorem-proving as multi-agent computation
  13. Alan M. Frisch, Yuan Zhan (University of York)
    Restart Strategies for Constraint Satisfaction Problems
  14. Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt (Universities of Manchester and Liverpool)
    Space Efficient Resolution Decision Procedures for Guarded Formulae
  15. Yuri Gurevich (Microsoft Research)
    Testable Specifications Using Abstract State Machines (invited talk)
  16. Ullrich Hustadt (University of Liverpool) and Renate A. Schmidt (University of Manchester)
    Verification Within the KARO Agent Theory: The Reduction Approach
  17. Andrew Ireland (Heriott-Watt University)
    Automatic Guidance for the Formal Verification of High Integrity Ada
  18. Mateja Jamnik, Manfred Kerber and Christoph Benzmueller (University of Birmingham)
    Learning Proof Methods in Proof Planning
  19. Konstantin Korovin and Andrei Voronkov (University of Manchester)
    Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order
  20. Ewen Maclean, Jacques Fleuriot, Alan Smaill (University of Edinburgh)
    Automating Proof in Non-standard Analysis
  21. Claudia Nalon (University of Liverpool)
    Theorem Proving for Synchronous Systems with no Learning
  22. Robert Nieuwenhuis (Technical University of Catalonia)
    Term Indexing Techniques for Automated Reasoning (invited talk)
  23. Alexander Riazanov, and Andrei Voronkov (University of Manchester)
    Making Your Prover Meet the Deadline
  24. Julian Richardson (Heriot-Watt University)
    Continuation of Proof Strategies
  25. Georg Rock, Andreas Nonnengart, and Werner Stephan (DFKI Saarbrücken)
    Expressing Realtime Properties in VSE
  26. Renate A. Schmidt and Dmitry Tishkovsky (University of Manchester)
    On Calculi and Kripke Semantics for Multi-Agent Systems within the KARO Framework
  27. Daniel Sheridan and Toby Walsh (University of York)
    Clause Forms Generated by Bounded Model Checking
  28. Alan Smaill and Louise A. Dennis (University of Edinburgh)
    Ordinal Arithmetic: a Case Study for Rippling in a Higher-Order Domain
  29. Paolo Torrini (University of Leeds)
    Spatial Reasoning with Intuitionistic Logic
  30. Jon Williamson (King's College London)
    Bayesian Networks for Logical Reasoning
  31. Michael Zakharyaschev (King's College London)
    A Tableau Calculus for Temporal Description Logic (invited talk)


Overview  |  Organisers  |  Call for Papers  |  Programme  |  Accepted Papers  |  Registration  |  Workshop Series  |  Participants  |  AISB'01 convention