Automated Reaoning Workshop Programme
Wednesday 31st March
08:30 - 09:00 Registration in New School of Music & ICSRiM building,
Cavendish Road, University of Leeds
09:00 - 10:00 ARW/AISB Plenary talk: Reasoning about Perception, Space and Motion:
a Cognitive Robotics Perspective, by David Randell
10:00 - 10:25 coffee break
10:25 - 10:30 ARW Welcome
10:30 - 11:45 Technical Session 1: NON-CLASSICAL SYSTEMS
10:40 Implementation of a tableau theorem prover for modal logic, Zhen Li
10:50 A principle for incorporating axioms into the first-order translation
of modal formulae, Renate A. Schmidt and Ullrich Hustadt
11:00 A Three-Valued Hoare Calculus, Viviana Bono and Manfred Kerber
11:10 E-Checker: A prototype tool for investigating some properties of
multivalent logic systems, David Anderson and Peter W. Pearson
11:20 Abductive Logic Programming with CIFF, Ulle Endriss, Paolo Mancarella,
Fariba Sadri, Giacomo Terreni, and Francesca Toni
11:30 Short Poster introductions:
Case studies for first-order temporal logic, M.Carmen Fernandez Gago
Michael Fischer, Clare Dixon, Boris Konev, Ullrich Hustadt, and Frank Wolter
Qualitative Descriptions of Location: an approach using a
hybrid matroid structure, Anthony J. Roy
Environmental knowledge representation, Antony Galton and James Hood
Compilation of quasi-destructive unification of type feature structures
Liviu Ciortuz
Specifying and Verifying Security Protocols using Temporal Logics of Knowledge
Clare Dixon, Mari-Carmen Fernandez Gago, Michael Fisher and Wiebe van der Hoek
11:45 - 12:30 POSTER SESSION 1
12:30 - 13:30 Lunch
13:30 - 14:30 AISB AGM
14:30 - 15:30 Technical Session 1: SPATIAL and TEMPORAL REASONING
14:30 Logical representation for route graphs, Paolo Torrini
14:40 Deductive Verification of Infinite Systems: Broadcast Protocols
Michael Fisher and Alexei Lisitsa, Fisher
14:50 A Clausal Resolution Method for Branching-Time Logic ECTL+,
Alexander Bolotov and Artie Basukoski
15:00 Monodic abstract state machines and temporal verification
Alexei Lisitsa and Michael Fischer
15:10 - 15:30 POSTER SESSION 2
15:30 - 15:55 coffee break
15:55 - 17:00 Invited talk by Jacques Fleuriot
Interactive Theorem Proving in Geometry: issues and applications
19:30 Workshop Dinner Darbar restaurant
Thursday 1st April
09:00 - 10:00 Session 1: AISB Plenary talk by Ian Cross, The social mind and the
emergence of musicality: implications for modelling music
10:00 - 10:25 coffee break
10:25 - 11:30 Invited talk by Franz Baader
From Tableau to Automata for Description Logics
11:30 - 12:00 Technical Session 3: AUTOMATED REASONING TECHNIQUES
11:30 Reasoning about types in a general purpose inference engine,
Allan Ramsay
11:40 Proof planning: Comparing OMEGA, lambda-CLAM and ISAPLANNER
Lucas Dixon, Mateja Jamnik, and Martin Pollet
11:50 Mechanized Support for Retrenchment, Simon Fraser and Richard Banach
12:00 - 12:30 POSTER SESSION 3
12:30 - 14:00 Lunch (and ARW Committee Meeting)
14:00 - 14:40 Technical Session 4: LEARNING and KNOWLEDGE
14:00 Automatic conjecture modification, Alison Pease and Simon Colton
14:10 Looking for Logic in Vision, Paulo Santos, Derek Magee and Anthony Cohn
14:20 Automatic Generation of Classification Theorems for Finite Algebras
Simon Colton, Andreas Meier, Volker Sorge, Roy McCasland
14:30 A reasoning mechanism for corpus-based knowledge representation
Shabnam Surjitsingh Ivkovic and Anne Banks Pidduck
14:40 - 15:30 PANEL: Difficult Questions for Automated Reasoning
15:30 - 15:55 coffee break
15:55 Closing Session