Skip to main content
SpringerLink
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Neil V. Murray

    1. Department of Computer Science, Institute for Programming and Logics, University at Albany - SUNY, Albany, USA

    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 1617)

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

Included in the following conference series:

Conference proceedings info: TABLEAUX 1999.

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 (28 papers)

  1. Contributed Research Papers

    1. linTAP : A Tableau Prover for Linear Logic

      • Heiko Mantel, Jens Otten
      Pages 217-231

    2. A Tableau Calculus for a Temporal Logic with Temporal Connectives

      • Wolfgang May
      Pages 232-246

    3. A Tableau Calculus for Pronoun Resolution

      • Christof Monz, Maarten de Rijke
      Pages 247-262

    4. Generating Minimal Herbrand Models Step by Step

      • Heribert Schütz
      Pages 263-277

    5. Tableau Calculi for Hybrid Logics

      • Miroslava Tzakova
      Pages 278-292

    6. Full First-Order Free Variable Sequents and Tableaux in Implicit Induction

      • Claus-Peter Wirth
      Pages 293-307

  2. Contributed System Descriptions

    1. An Interactive Theorem Proving Assistant

      • Ulrich Endriss
      Pages 308-313

    2. A Time Efficient KE Based Theorem Prover

      • Ulrich Endriss
      Pages 313-318

    3. Strategy Parallel Use of Model Elimination with Lemmata

      • Andreas Wolf, Joachim Draeger
      Pages 319-323

  3. Back Matter

    Pages 325-325
    Download chapter PDF
Back to top

Other volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Keywords

Editors and Affiliations

  • Department of Computer Science, Institute for Programming and Logics, University at Albany - SUNY, Albany, USA

    Neil V. Murray

Bibliographic Information

  • Book Title: Automated Reasoning with Analytic Tableaux and Related Methods

  • Book Subtitle: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings

  • Editors: Neil V. Murray

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-48754-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1999

  • Softcover ISBN: 978-3-540-66086-6Published: 26 May 1999

  • eBook ISBN: 978-3-540-48754-8Published: 31 July 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 334

  • Topics: Artificial Intelligence, Natural Language Processing (NLP), Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation