IJCAR Doctoral Programme

Keyphrases

Publications

2004

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

volume 106, 2004

Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. IJCAR Doctoral Programme 106 (2004)