Abstract is missing.
- A Small Framework for Proof CheckingHans de Nivelle, Piotr Witkowski. [doi]
- Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk)Alessandro Armando. [doi]
- Evaluation of Systems for Higher-order Logic (ESHOL)Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe. [doi]
- Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk)John K. Slaney. [doi]
- randoCoP: Randomizing the Proof Search Order in the Connection CalculusThomas Raths, Jens Otten. [doi]
- Towards Fully Automated Axiom Extraction for Finite-Valued LogicsJoão Marcos, Dalmo Mendonca. [doi]
- The Annual SUMO Reasoning Prizes at CASCAdam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac. [doi]
- Presenting TSTP Proofs with Inference Web ToolsPaulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio, Deborah L. McGuinness. [doi]
- Contextual Rewriting in SPASSChristoph Weidenbach, Patrick Wischnewski. [doi]
- Mechanized Reasoning for Continuous Problem Domains (Invited Talk)Rob Arthan. [doi]
- Combining Theorem Proving with Natural Language ProcessingBjörn Pelzer, Ingo Glöckner. [doi]
- Collaborative Programming: Applications of Logic and Automated ReasoningTimothy L. Hinrichs. [doi]
- Integration of the TPTPWorld into SigmaKEESteven Trac, Geoff Sutcliffe, Adam Pease. [doi]
- Bit InferenceNachum Dershowitz. [doi]