ARW 2015

Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice
Birmingham, UK, 9-10 April 2015


Talks will be given in Learning Centre, UG 10. Breaks and poster sessions will be in the School of Computer Science, Atrium.
Thursday, 9 April
9:30-10:00 Registration
School of Computer Science, Atrium
10:00-11:00 Invited Talk: Oliver Ray, University of Bristol
Non-monotonic Reasoning and Learning in Biological Networks
11:00-11:30 Coffee
11:30-12:30 Poster Session 1
Thomas Gransden.
Combining SEPIA and ML4PG

Alexei Iliasov, Paulius Stankaitis and David Ebo Adjepon-Yamoah.
Event-B and Cloud Provers

Giles Reger, Martin Suda and Andrei Voronkov.
AVATAR: a new Architecture for First-Order Theorem Provers

Marco B. Caminati, Manfred Kerber and Colin Rowat.
Reasoning about Dynamic Auctions

Andrew Healy, Rosemary Monahan and James Power.
Characterising the workload of SMT solvers for program verification

12:30-14:00 Lunch
14:00-15:30 Discussion Novel Areas for Automated Reasoning: Biology, Economy, Robotics, ...
15:30-16:00 Coffee
16:00-17:30 Poster Session 2
Patrick Koopmann and Renate A.
Schmidt. Saturation-Based Reasoning for SHI Knowledge Bases with Applications to Forgetting and Uniform Interpolation

Fabio Papacchini and Renate A. Schmidt.
Debugging of ALC-Ontologies via Minimal Model Generation

Yizheng Zhao and Renate Schmidt.
Concept Forgetting for ALCOI-Ontologies

Ullrich Hustadt, Paul Gainer, Clare Dixon, Claudia Nalon and Lan Zhang.
CLProver++: An Ordered Resolution Prover for Coalition Logic

Alexei Morozov and Alexander Polupanov.
Development of the Logic Programming Approach to the Intelligent Monitoring of Anomalous Human Behaviour

19:00-21:00 Dinner
Priya Restaurant, 40-42 St Marys Row, Moseley, B13 8JG
Takes buses 61 or 63 from Bristol Road
Change to bus 1 at Priory Road
Friday, 10 April
10:00-11:00 Invited Talk: Florian Kammueller, Middlesex University
Verifying Quantum Protocols using Interactive Theorem Proving
11:00-11:30 Coffee
11:30-12:30 Poster Session 3
Leszek Sliwko, Vladimir Getov and Alexander Bolotov.
Distributed Agent-Based Load Balancer for Cloud Computing

Meenakshi Kesavan.
Discovering new Ontologies and Lemmas through Concept Blending and Analogical Reasoning

Jared Leo, Uli Sattler and Bijan Parsia.
Capturing Temporal Aspects in Ontologies

Nourah Shenaiber, Manfred Kerber and Volker Sorge.
Using Herbrand Bases for Building a Smart Semantic Tree Theorem Prover

Randa Almomen and Volker Sorge.
Semantic Understanding of Mathematical Formulae in Documents

12:30-14:00 Lunch
14:00-15:30 Discussion The Future of Automated Reasoning: Verification, The Cloud, None?
15:30-16:00 Coffee and Business Meeting