Automated Reasoning

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

  • Bernhard Gramlich
  • Dale Miller
  • Uli Sattler
Conference proceedings IJCAR 2012

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
    17. Stephan Falke, Deepak Kapur
      Pages 241-255
    18. Pascal Fontaine, Stephan Merz, Christoph Weidenbach
      Pages 256-270
    19. Simon Foster, Georg Struth
      Pages 271-285
    20. Sicun Gao, Jeremy Avigad, Edmund M. Clarke
      Pages 286-300
    21. Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
      Pages 316-331
    22. Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
      Pages 332-338
    23. Dejan Jovanović, Leonardo de Moura
      Pages 339-354
    24. Matti Järvisalo, Marijn J. H. Heule, Armin Biere
      Pages 355-370
    25. Boris Konev, Michel Ludwig, Frank Wolter
      Pages 371-377
    26. Daniel Kühlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes
      Pages 378-392
    27. Markus Latte, Martin Lange
      Pages 393-407
    28. Andrew M. Marshall, Paliath Narendran
      Pages 408-422
    29. Đurica Nikolić, Fausto Spoto
      Pages 423-438
    30. Jan-David Quesel, André Platzer
      Pages 439-453
    31. Thomas Raths, Jens Otten
      Pages 454-461
    32. Conrad Rau, David Sabel, Manfred Schmidt-Schauß
      Pages 462-476
    33. Roberto Sebastiani, Silvia Tomasi
      Pages 484-498
    34. Andrej Spielmann, Viktor Kuncak
      Pages 499-513
    35. Andreas Steigmiller, Thorsten Liebig, Birte Glimm
      Pages 514-529
    36. Thomas Sternagel, Harald Zankl
      Pages 530-536
    37. Martin Suda, Christoph Weidenbach
      Pages 537-543
    38. Alwen Tiu
      Pages 544-558
    39. Matej Urbas, Mateja Jamnik
      Pages 559-566
  4. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-642-31364-6
  • Online ISBN 978-3-642-31365-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site