Skip to main content
SpringerLink
Log in

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Rajeev Goré

    1. Automated Reasoning Project and Department of Computer Science, Australian National University, Canberra, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander Leitsch

    1. AG Theoretische Informatik und Logik, Institut für Computersprachen, Technische Universität Wien, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tobias Nipkow

    1. Institut für Informatik, Technische Universität München, München, 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 2083)

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

Included in the following conference series:

Conference proceedings info: IJCAR 2001.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (59 papers)

  1. Logic Programming and Nonmonotonic Reasoning

    1. Preferred Extensions of Argumentation Frameworks: Query, Answering, and Computation

      • Sylvie Doutre, Jérôme Mengin
      Pages 272-288

    2. Bunched Logic Programming

      • Pablo A. Armelín, David J. Pym
      Pages 289-304

    3. A Top-Down Procedure for Disjunctive Well-Founded Semantics

      • Kewen Wang
      Pages 305-317

    4. A Second-Order Theorem Prover Applied to Circumscription

      • Michael Beeson
      Pages 318-324

  2. NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics

    1. NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics

      • Christian Anger, Kathrin Konczak, Thomas Linke
      Pages 325-330

  3. Propositional Satisfiability and Quantified Boolean Logic

    1. Conditional Pure Literal Graphs

      • Marco Benedetti
      Pages 331-346

    2. Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability

      • Enrico Giunchiglia, Massimo Maratea, Armando Tacchella, Davide Zambonin
      Pages 347-363

    3. QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability

      • Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
      Pages 364-369

    4. System Abstract: E 0.61

      • Stephan Schulz
      Pages 370-375

    5. Vampire 1.1

      • Alexandre Riazanov, Andrei Voronkov
      Pages 376-380

  4. DCTP - A Disconnection Calculus Theorem Prover - System Abstract

    1. DCTP - A Disconnection Calculus Theorem Prover - System Abstract

      • Reinhold Letz, Gernot Stenz
      Pages 381-385

  5. Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving

    1. More On Implicit Syntax

      • Marko Luther
      Pages 386-400

    2. Termination and Reduction Checking for Higher-Order Logic Programs

      • Brigitte Pientka
      Pages 401-415

    3. P.rex: An Interactive Proof Explainer

      • Armin Fiedler
      Pages 416-420

    4. JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants

      • Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
      Pages 421-426

  6. Semantic Guidance

    1. The eXtended Least Number Heuristic

      • Gilles Audemard, Laurent Henocque
      Pages 427-442

    2. System Description: SCOTT-5

      • Kahlil Hodgson, John Slaney
      Pages 443-447

    3. Combination of Distributed Search and Multi-Search in Peers-mcd.d

      • Maria Paola Bonacina
      Pages 448-452

    4. Lotrec: The Generic Tableau Prover for Modal and Description Logics

      • Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
      Pages 453-458

    5. The modprof Theorem Prover

      • Jens Happe
      Pages 459-463
Back to top

Other volumes

  1. Automated Reasoning

Keywords

Editors and Affiliations

  • Automated Reasoning Project and Department of Computer Science, Australian National University, Canberra, Australia

    Rajeev Goré

  • AG Theoretische Informatik und Logik, Institut für Computersprachen, Technische Universität Wien, Wien, Austria

    Alexander Leitsch

  • Institut für Informatik, Technische Universität München, München, Germany

    Tobias Nipkow

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation