Automated Reasoning

6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

  • Bernhard Gramlich
  • Dale Miller
  • Uli Sattler

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Full Papers and System Descriptions

    1. Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
      Pages 14-29
    2. Franz Baader, Stefan Borgwardt, Barbara Morawska
      Pages 30-44
    3. Franz Baader, Julian Mendez, Barbara Morawska
      Pages 45-51
    4. Matthias Baaz, Ori Lahav, Anna Zamansky
      Pages 52-66
    5. François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout et al.
      Pages 67-81
    6. Stefan Borgwardt, Felix Distel, Rafael Peñaloza
      Pages 82-96
    7. Taus Brock-Nannestad, Carsten Schürmann
      Pages 97-110
    8. Chad E. Brown
      Pages 111-117
    9. Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
      Pages 118-133
    10. Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
      Pages 134-148
    11. Frank de Boer, Marcello Bonsangue, Jurriaan Rot
      Pages 149-163
    12. Stéphanie Delaune, Steve Kremer, Daniel Pasaila
      Pages 164-178
    13. Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
      Pages 179-193
    14. Mnacho Echenim, Nicolas Peltier
      Pages 194-209
    15. Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov
      Pages 210-224
    16. Fabian Emmes, Tim Enger, Jürgen Giesl
      Pages 225-240

About these proceedings


This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.


description logic formal methods model checking rules satisfiability

Editors and affiliations

  • Bernhard Gramlich
    • 1
  • Dale Miller
    • 2
  • Uli Sattler
    • 3
  1. 1.Fakultät für InformatikTechnische Universität WienWienAustria
  2. 2.École PolytechniqueINRIA Saclay and Laboratoire d’InformatiquePalaiseau CedexFrance
  3. 3.School of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31364-6
  • Online ISBN 978-3-642-31365-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book