ARW 2013: Accepted abstracts Ozgur Akgun, Alan Frisch, Bilal Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel and Peter Nightingale. An Automated Constraint Modelling and Solving Toolchain. Mohammed Alzahrani and Lilia Georgieva. Comparative analysis of time-sensitive web applications using SPIN and UPPAAL. Alexander Bolotov and Vasilyi Shangin. Proof Search for Natural Deduction in the setting of Paracomplete Logic PComp. Colin Farquhar and Gudmund Grov. Structured Proofs from a Graphical Proof Strategy Language. Michael Fisher, Boris Konev and Amir Niknafs Kermani. STTP: a Symmetric Temporal Theorem Prover. Thomas Gransden. Boosting Automated Reasoning By Mining Existing Proofs. Zongyan Huang and Lawrence C. Paulson. An application of machine learning to RCF decision procedures. Mark Judge and Derek Long. A CSP Heuristic for AI Planning. Mohammad Khodadadi, Renate A. Schmidt and Dmitry Tishkovsky. Controlling Applications of Blocking Rule. Ryan Kirwan and Alice Miller. Formal proof of Abstraction for Agent-Based Learning systems. Ekaterina Komendantskaya and Jónathan Heras. Statistical Machine Learning for Theorem Proving: Automated or Interactive? Patrick Koopmann and Renate Schmidt. Uniform Interpolation of ALC-Ontologies Using Fixpoints. Sanjay Modgil, Odinaldo Rodrigues and Anthony Young. Implementing the Rational Closure of a Conditional Knowledge Base. Fabio Papacchini and Renate A. Schmidt. Minimal Models Modulo Subset-Simulation for Modal Logics. Arūnas Prokopas, Alan Frisch, Ian Gent, Chirstopher Jefferson, Lars Kotthoff, Ian Miguel and Peter Nightingale. Constructing constraint solvers using Monte Carlo Tree Search. Hu Xu and Karen Petrie. A Sexual Genetic Algorithm Based System For Automatically Tunning Constraint Satisfaction Problems. Michal Zawidzki. Hybrid tableau algorithm for modal logic with global counting operators. Jian Zhang, Karen Petrie and Tingting Yu. Automatic Transformation of Raw Clinical Data into Clean data usind Decision tree learning.