2. IJCAR / 20. CADE / 13. TABLEAUX / 5. ForCoS / 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-WS.org 2004 CEUR Workshop Proceedings- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team