ARW-DT 2014 Accepted Abstracts


Towards Usability Evaluation of Interactive Theorem Provers 
Bernhard Beckert, Sarah Grebing, and Florian Bohl

Combined Reasoning with Sets and Aggregation Functions 
Markus Bender

Reasoning about Auctions
Marco Caminati, Manfred Kerber, Christoph Lange, and Colin Rowat

Automating Regression Verification
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, and Mattias Ulbrich

Automated Reasoning in Deontic Logic
Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg

6. Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata
Matthias Horbach and Viorica Sofronie-Stokkermans

(AI) Planning to Reconfigure your Robot? 
Mark Judge

Using CSP Meta Variables in AI Planning 
Mark Judge

Computing Uniform Interpolants of ALCH-Ontologies with Background
Knowledge
Patrick Koopmann and Renate A. Schmidt

On Herbrand theorems for classical and non-classical logics 
Alexander Lyaletski

Extended Resolution in Modern SAT Solving 
Norbert Manthey

A Resolution-Based Prover for Normal Modal Logics 
Claudia Nalon and George Bezerra Silva

Models Minimal Modulo Subset-Simulation for Expressive Propositional
Modal Logics
Fabio Papacchini and Renate A. Schmidt

Tableau Development for a Bi-Intuitionistic Tense Logic 
John G. Stell, Renate A. Schmidt, and David Rydeheard

Socratic Proofs for Propositional Linear-Time Logic
Mariusz Urbanski, Alexander Bolotov, Vasilyi Shangin, and Oleg Grigoriev

Second-Order Characterizations of Definientia in Formula Classes 
Christoph Wernhard

The Leo-III Project
Max Wisniewski, Alexander Steen, and Christoph Benzmuller