ARW 2012: Accepted abstracts
Symmetry Theorem Proving by A. Niknafs-Kermani, B. Konev and M.Fisher
A Formal Behaviour Representation for the Analysis of Distributed Simulations of Unmanned Aircraft Systems by A. Piel
Analysing Data-Sensitive and Time-Sensitive Web Applications by M. Alzahrani and L. Georgieva
Generation of Large Size Quasigroup Structures Using Algebraic Constraints by Q. Mahesar and V. Sorge
Model Checking by Abstraction for Proving Liveness Properties of Hybrid Dynamical Systems by R. Carter and E. M. Navarro-López
Simplified Temporal Resolution using SAT Solvers by R. Williams and B. Konev
Progress on Model Checking Robot Behaviour by R. Kirwan and A. Miller
Automating inductive theorem proving through deforestation by W. Sonnex
Timed Analysis of RFID Distance Bounding Protocols by Y. Lu and A. Miller
Terminating tableau calculus for the logic K(En) by M. Zawidzki
Minimal Models for Modal Logics by F. Papacchini and R. A. Schmidt
A Note on Model Representation and Proof Extraction in the First-Order Instantiation-based Calculus Inst-Gen by C. Sticksel and K. Korovin
Automatic Reasoning for Interrogative Logics by S. Minica
A Term Rewriting Sytem for Kuratowski's Closure-Complement Problem by O. Al-Hassani, Q. Mahesar, C. Sacerdoti Coen and V. Sorge
METTEL2: Towards a Prover Generation Platform by D. Tishkovsky, R. A. Schmidt and M. Khodadadi
A Linear Strategy for Modal Resolution by C. Nalon
A Labelled Tableau Approach for Temporal Logic with Constraints by C. Dixon, B. Konev, R. A. Schmidt and D. Tishkovsky
Automated Reasoning in Higher-Order Algebra by A. Armstrong and G. Struth
Graphical Construction of Cut Free Sequent Systems Suitable for Backwards Proof Search by B. Lellmann and D. Pattinson
Using Algebra to Understand Search Spaces by M. Brain
Inverse Resolution in Case-Based Planning Cycle by M. Meri
Quantifier rules in reductive proof using nominal semantics by M. J. Gabbay
Verification of nonpolynomial systems using MetiTarski by W. Denman
Uncertainty Modelling in Automated Concept Formation by F. Cavallo, S. Colton and A. Pease
Natural Deduction in the setting of Paraconsistent and Paracomplete Logics PCont and PComp by A. Bolotov and V. Shangin