ARW 2015: Accepted abstracts Randa Almomen and Volker Sorge. Semantic Understanding of Mathematical Formulae in Documents Marco B. Caminati, Manfred Kerber and Colin Rowat. Reasoning about Dynamic Auctions Thomas Gransden. Combining SEPIA and ML4PG Andrew Healy, Rosemary Monahan and James Power. Characterising the workload of SMT solvers for program verification Ullrich Hustadt, Paul Gainer, Clare Dixon, Claudia Nalon and Lan Zhang. CLProver++: An Ordered Resolution Prover for Coalition Logic Alexei Iliasov, Paulius Stankaitis and David Ebo Adjepon-Yamoah. Event-B and Cloud Provers Meenakshi Kesavan. Discovering new Ontologies and Lemmas through Concept Blending and Analogical Reasoning Patrick Koopmann and Renate A. Schmidt. Saturation-Based Reasoning for SHI Knowledge Bases with Applications to Forgetting and Uniform Interpolation Jared Leo, Uli Sattler and Bijan Parsia. Capturing Temporal Aspects in Ontologies Alexei Morozov and Alexander Polupanov. Development of the Logic Programming Approach to the Intelligent Monitoring of Anomalous Human Behaviour Fabio Papacchini and Renate A. Schmidt. Debugging of ALC-Ontologies via Minimal Model Generation Giles Reger, Martin Suda and Andrei Voronkov. AVATAR: a new Architecture for First-Order Theorem Provers Nourah Shenaiber, Manfred Kerber and Volker Sorge. Using Herbrand Bases for Building a Smart Semantic Tree Theorem Prover Leszek Sliwko, Vladimir Getov and Alexander Bolotov. Distributed Agent-Based Load Balancer for Cloud Computing Yizheng Zhao and Renate Schmidt. Concept Forgetting for ALCOI-Ontologies