[CEUR Workshop Proceedings] Vol-373

Copyright © 2008 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.

First International Workshop on Practical Aspects of Automated Reasoning

Proceedings of the First International Workshop on
Practical Aspects of Automated Reasoning
Sydney, Australia, August 10-11, 2008.

Edited by

Boris Konev *
Renate A. Schmidt #
Stephan Schulz +

* University of Liverpool, Department of Computer Science, Liverpool L69 3BX, United Kingdom
# University of Manchester, School of Computer Science, Oxford Rd, Manchester M13 9PL, United Kingdom
+ TU München, Institut für Informatik 4, Boltzmannstr. 3, 85748 Garching b. München, Germany

Table of Contents

Complete proceedings


  1. Model Checking: New Challenges and Opportunities for Automated Reasoning (invited talk)
    Alessandro Armando
  2. Mechanized Reasoning for Continuous Problem Domains (invited talk)
    Rob Arthan
  3. Constraint Modelling: A Challenge for First Order Automated Reasoning (invited talk)
    John Slaney
  4. Evaluation of Systems for Higher-order Logic (ESHOL)
    Christoph Benzmueller, Florian Rabe, Carsten Schuermann, Geoff Sutcliffe
  5. Bit Inference
    Nachum Dershowitz
  6. Collaborative Programming: Applications of Logic and Automated Reasoning
    Timothy Hinrichs
  7. Towards Fully Automated Axiom Extraction for Finite-Valued Logics
    Joao Marcos, Dalmo Mendonca
  8. A Small Framework for Proof Checking
    Hans de Nivelle, Piotr Witkowski
  9. The Annual SUMO Reasoning Prizes at CASC
    Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
  10. Combining Theorem Proving with Natural Language Processing
    Bjoern Pelzer, Ingo Gloeckner
  11. Presenting TSTP Proofs with Inference Web Tools
    Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio, Deborah McGuinness
  12. randoCoP: Randomizing the Proof Search Order in the Connection Calculus
    Thomas Raths, Jens Otten
  13. Integration of the TPTPWorld into SigmaKEE
    Steven Trac, Geoff Sutcliffe, Adam Pease
  14. Contextual Rewriting in SPASS
    Christoph Weidenbach, Patrick Wischnewski
Author index

24-Jul-2008: submitted by R. Schmidt
11-Aug-2008: published on CEUR-WS.org