2. IJCAR / 20. CADE / 13. TABLEAUX / 5. ForCoS / 6. FTP 2004 Doctoral Programme:
Cork, County Cork, Ireland
: 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
: Adding Equivalence Classes to Stalmarck's Method in First Order Logic.
: A Tableau System for the Description Logic SHIO.
: A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
: Reasoning with large numbers of individuals moves on: extending the instance store.
: An implementation of a tableau theorem prover for modal logics.
: DPLL-based Procedure for Equality Logic with Uninterpreted Functions.