6. FTP 2004 Doctoral Programme: Cork, County Cork, Ireland

Ulrike Sattler (Ed.): Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. CEUR Workshop Proceedings 106 CEUR-WS.org 2004

Roger Antonsen:
Uniform variable splitting.
Magnus Björk:
Adding Equivalence Classes to Stalmarck's Method in First Order Logic.
Emmanuel Hebrard:
Super Solutions in Constraint Programming.
Thomas Hillenbrand:
A Superposition View on Nelson-Oppen.
Jan Hladik:
A Tableau System for the Description Logic SHIO.
Yevgeny Kazakov:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
Vladimir Klebanov:
Proof Reuse for Program Verification Calculi.
Lei Li:
Reasoning with large numbers of individuals moves on: extending the instance store.
Zhen Li:
An implementation of a tableau theorem prover for modal logics.
Zhiyao Liang:
Model Checking Using Tabled Rewriting.
Paulo J. Matos:
Intelligent Theorem Proving for Specific Domains.
Flávio L. C. de Moura:
Understanding Higher Order Unification via Explicit Substitutions and Patterns.
Jeff Z. Pan:
Reasoning Support for OWL-E.
Olga Tveretin:
DPLL-based Procedure for Equality Logic with Uninterpreted Functions.
Christoph Wernhard:
Semantic Knowledge Partitioning.
Daniel Winterstein:
Dr.Doodle: A Diagrammatic Theorem Prover.