search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

PAAR/ESHOL

Keyphrases

Publications

2008

Alessandro Armando
Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). PAAR/ESHOL (2008)
Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness
Presenting TSTP Proofs with Inference Web Tools. PAAR/ESHOL (2008)
Rob Arthan
Mechanized Reasoning for Continuous Problem Domains (Invited Talk). PAAR/ESHOL (2008)
Steven Trac, Geoff Sutcliffe, Adam Pease
Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL (2008)
Thomas Raths, Jens Otten
randoCoP: Randomizing the Proof Search Order in the Connection Calculus. PAAR/ESHOL (2008)
Nachum Dershowitz
Bit Inference. PAAR/ESHOL (2008)
João Marcos, Dalmo Mendonca
Towards Fully Automated Axiom Extraction for Finite-Valued Logics. PAAR/ESHOL (2008)
Björn Pelzer, Ingo Glöckner
Combining Theorem Proving with Natural Language Processing. PAAR/ESHOL (2008)
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL (2008)
Christoph Weidenbach, Patrick Wischnewski
Contextual Rewriting in SPASS. PAAR/ESHOL (2008)
Timothy L. Hinrichs
Collaborative Programming: Applications of Logic and Automated Reasoning. PAAR/ESHOL (2008)
John K. Slaney
Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk). PAAR/ESHOL (2008)
Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe
Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL (2008)
Hans de Nivelle, Piotr Witkowski
A Small Framework for Proof Checking. PAAR/ESHOL (2008)

volume 373, 2008

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 PAAR/ESHOL 373 (2008)