2. IJCAR / 20. CADE / 13. TABLEAUX / 5. ForCoS / 6. FTP 2004 Doctoral Programme: Cork, County Cork, Ireland

@proceedings{DBLP:conf/cade/2004phd,
  editor    = {Ulrike Sattler},
  title     = {Contributions to the Doctoral Programme of the 2nd International
               Joint Conference on Automated Reasoning, Cork, Ireland, July
               4-8, 2004},
  booktitle = {IJCAR Doctoral Programme},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {106},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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