Automated Reasoning with Analytic Tableaux and Related Methods

16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

  • Editors
  • Nicola Olivetti

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4548)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Research Papers

    1. Franz Baader, Rafael Peñaloza
      Pages 11-27
    2. Matthias Baaz, George Metcalfe
      Pages 28-42
    3. Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
      Pages 43-59
    4. Shoham Ben-David, Richard Trefler, Grant Weddell
      Pages 60-72
    5. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
      Pages 73-89
    6. Linda Buisman, Rajeev Goré
      Pages 90-106
    7. Olivier Gasquet, Bilal Said
      Pages 107-118
    8. Roderic A. Girle
      Pages 119-132
    9. Ryo Ishigaki, Kentaro Kikuchi
      Pages 149-164
    10. Neil V. Murray, Erik Rosenthal
      Pages 183-198
    11. Nicolas Peltier
      Pages 199-215
  4. System Descriptions

    1. Alessandro Avellone, Guido Fiorino, Ugo Moscato
      Pages 233-237
    2. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
      Pages 238-244

About these proceedings

Keywords

AI logics Erfüllbarkeitsproblem der Aussagenlogik automated deduction automated reasoning conditional logics description logics formal verification knowledge bases logic logic programming model checking model elimination nonmonotonic reasoning object oriented design proof theory

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73099-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73098-9
  • Online ISBN 978-3-540-73099-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book