Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004 - researchr publication

researchr

You are not signed in
Sign in
Sign up

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

Conference: cade2004

Abstract is missing.

Intelligent Theorem Proving for Specific DomainsPaulo J. Matos. [doi]

Reasoning with large numbers of individuals moves on: extending the instance storeLei Li. [doi]

Proof Reuse for Program Verification CalculiVladimir Klebanov. [doi]

A Tableau System for the Description Logic SHIOJan Hladik. [doi]

A Resolution Decision Procedure for the Guarded Fragment with Transitive GuardsYevgeny Kazakov. [doi]

DPLL-based Procedure for Equality Logic with Uninterpreted FunctionsOlga Tveretin. [doi]

Reasoning Support for OWL-EJeff Z. Pan. [doi]

Super Solutions in Constraint ProgrammingEmmanuel Hebrard. [doi]

Semantic Knowledge PartitioningChristoph Wernhard. [doi]

A Superposition View on Nelson-OppenThomas Hillenbrand. [doi]

Understanding Higher Order Unification via Explicit Substitutions and PatternsFlávio L. C. de Moura. [doi]

An implementation of a tableau theorem prover for modal logicsZhen Li. [doi]

Dr.Doodle: A Diagrammatic Theorem ProverDaniel Winterstein. [doi]

Model Checking Using Tabled RewritingZhiyao Liang. [doi]

Uniform variable splittingRoger Antonsen. [doi]

Adding Equivalence Classes to Stalmarck s Method in First Order LogicMagnus Björk. [doi]

runs on WebDSL