PAAR/ESHOL 2008:
Sydney,
NSW,
Australia
Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.):
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008.
CEUR Workshop Proceedings 373 CEUR-WS.org 2008 
- Alessandro Armando:
Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk).
- Rob Arthan:
Mechanized Reasoning for Continuous Problem Domains (Invited Talk).
- John K. Slaney:
Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk).
- Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe:
Evaluation of Systems for Higher-order Logic (ESHOL).
- Nachum Dershowitz:
Bit Inference.
- Timothy L. Hinrichs:
Collaborative Programming: Applications of Logic and Automated Reasoning.
- João Marcos, Dalmo Mendonca:
Towards Fully Automated Axiom Extraction for Finite-Valued Logics.
- Hans de Nivelle, Piotr Witkowski:
A Small Framework for Proof Checking.
- Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac:
The Annual SUMO Reasoning Prizes at CASC.
- Björn Pelzer, Ingo Glöckner:
Combining Theorem Proving with Natural Language Processing.
- Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness:
Presenting TSTP Proofs with Inference Web Tools.
- Thomas Raths, Jens Otten:
randoCoP: Randomizing the Proof Search Order in the Connection Calculus.
- Steven Trac, Geoff Sutcliffe, Adam Pease:
Integration of the TPTPWorld into SigmaKEE.
- Christoph Weidenbach, Patrick Wischnewski:
Contextual Rewriting in SPASS.
Last update Tue May 22 23:23:14 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
