Skip to main content
SpringerLink
Log in
Book cover

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Franz Baader

    1. Theoretical Computer Science, TU Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2741)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CADE 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (41 papers)

  1. Session 7

    1. Certifying Solutions to Permutation Group Problems

      • Arjeh Cohen, Scott H. Murray, Martin Pollet, Volker Sorge
      Pages 258-273

  2. Session 8: System Descriptions

    1. TRP++ 2.0: A Temporal Resolution Prover

      • Ullrich Hustadt, Boris Konev
      Pages 274-278

    2. IsaPlanner: A Prototype Proof Planner in Isabelle

      • Lucas Dixon, Jacques Fleuriot
      Pages 279-283

    3. ’Living Book’ :- ’Deduction’, ’Slicing’, ’Interaction’

      • Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Alex Sinner
      Pages 284-288

    4. The Homer System

      • Simon Colton, Sophie Huczynska
      Pages 289-294

  3. Session 9: CASC-19 Results

    1. The CADE-19 ATP System Competition

      • Geoff Sutcliffe, Christian Suttner
      Pages 295-296

  4. Session 10: Invited Talk

    1. Proof Search and Proof Check for Equational and Inductive Theorems

      • Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
      Pages 297-316

  5. Session 11: System Descriptions

    1. The New WALDMEISTER Loop at Work

      • Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies
      Pages 317-321

    2. About VeriFun

      • Christoph Walther, Stephan Schweitzer
      Pages 322-327

    3. How to Prove Inductive Theorems? QuodLibet!

      • Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth
      Pages 328-333

  6. Session 12: Invited Talk

    1. Reasoning about Qualitative Representations of Space and Time

      • Anthony G. Cohn
      Pages 334-334

  7. Session 13

    1. Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation

      • Harald Ganzinger, Jürgen Stuber
      Pages 335-349

    2. The Model Evolution Calculus

      • Peter Baumgartner, Cesare Tinelli
      Pages 350-364

    3. Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms

      • Hans de Nivelle
      Pages 365-379

    4. Efficient Instance Retrieval with Standard and Relational Path Indexing

      • Alexandre Riazanov, Andrei Voronkov
      Pages 380-396

  8. Session 14

    1. Monodic Temporal Resolution

      • Anatoly Degtyarev, Michael Fisher, Boris Konev
      Pages 397-411

    2. A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae

      • Renate A. Schmidt, Ullrich Hustadt
      Pages 412-426

    3. Schematic Saturation for Decision and Unification Problems

      • Christopher Lynch
      Pages 427-441

  9. Session 15

    1. Unification Modulo ACUI Plus Homomorphisms/Distributivity

      • Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
      Pages 442-457

    2. Source-Tracking Unification

      • Venkatesh Choppella, Christopher T. Haynes
      Pages 458-472
Back to top

Other volumes

  1. Automated Deduction – CADE-19

Keywords

About this book

This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: – 4 contributions by invited speakers: one full paper and three short abstracts; – 29 accepted technical papers; – 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops covering di?- entaspectsofautomateddeduction,CADEisstillthemajorforumfordiscussing new results on all aspects of automated deduction as well as presenting new s- tems and improvements of established systems. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.

Editors and Affiliations

  • Theoretical Computer Science, TU Dresden, Germany

    Franz Baader

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation