Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

  • Jürgen Giesl
  • Reiner Hähnle
Conference proceedings IJCAR 2010

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

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

Table of contents

  1. Front Matter
  2. Logical Frameworks and Combination of Systems

    1. Anders Schack-Nielsen, Carsten Schürmann
      Pages 1-14
    2. Silvio Ghilardi, Silvio Ranise
      Pages 22-29
    3. Carsten Ihlemann, Viorica Sofronie-Stokkermans
      Pages 30-45
  3. Description Logic I

    1. Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder
      Pages 46-60
    2. Despoina Magka, Yevgeny Kazakov, Ian Horrocks
      Pages 61-75
  4. Higher-Order Logic

    1. Julian Backes, Chad E. Brown
      Pages 76-90
    2. Jasmin Christian Blanchette, Alexander Krauss
      Pages 91-106
    3. Sascha Böhme, Tobias Nipkow
      Pages 107-121
  5. Invited Talk

    1. Johan van Benthem
      Pages 122-126
  6. Verification

    1. Ali Ayad, Claude Marché
      Pages 127-141
    2. Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
      Pages 142-148
    3. Ruzica Piskac, Viktor Kuncak
      Pages 149-155
    4. Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
      Pages 156-170
    5. Viorica Sofronie-Stokkermans
      Pages 171-187
  7. First-Order Logic

    1. Kryštof Hoder, Laura Kovács, Andrei Voronkov
      Pages 188-195
    2. Konstantin Korovin, Christoph Sticksel
      Pages 196-202
    3. Hans de Nivelle
      Pages 203-217
  8. Non-Classical Logic

    1. Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
      Pages 218-224
    2. Mark Kaminski, Gert Smolka
      Pages 240-254
    3. Marta Cialdea Mayer, Serenella Cerrito
      Pages 255-262
  9. Induction

    1. David Baelde, Dale Miller, Zachary Snow
      Pages 278-292
  10. Decision Procedures

    1. Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
      Pages 293-308
    2. Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
      Pages 309-315
    3. Oliver Friedmann, Markus Latte, Martin Lange
      Pages 331-345
    4. Filip Marić, Predrag Janičić
      Pages 346-352
  11. Keynote Talk

    1. Deepak Kapur
      Pages 353-353
  12. Arithmetic

    1. Jonathan A. Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill
      Pages 354-368
    2. Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
      Pages 369-383
    3. Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
      Pages 384-399
  13. Invited Talk

    1. Leonardo de Moura, Nikolaj Bjørner
      Pages 400-411
  14. Applications

    1. Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
      Pages 412-426
    2. Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo
      Pages 427-433
    3. Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder
      Pages 434-440
    4. Martin Suda, Christoph Weidenbach, Patrick Wischnewski
      Pages 441-456
  15. Description Logic II

  16. Termination

    1. Nao Hirokawa, Aart Middeldorp
      Pages 487-501
    2. Friedrich Neurauter, Aart Middeldorp, Harald Zankl
      Pages 502-517
    3. Sarah Winkler, Aart Middeldorp
      Pages 518-532
  17. Back Matter

About these proceedings


This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the conference sponsors – EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc. , Google, Hewlett-Packard, Intel – is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001, Cork (Ireland) in 2004, Seattle (USA) in 2006, and Sydney (Australia) in 2008. IJCAR comprises s- eral leading conferences and workshops. In 2010, IJCAR was the fusion of the following events: –CADE: International Conference on Automated Deduction –FroCoS: International Symposium on Frontiers of Combining Systems –FTP: International Workshop on First-Order Theorem Proving – TABLEAUX: InternationalConferenceonAutomatedReasoningwith- alytic Tableaux and Related Methods There were 89 submissions (63 regular papers and 26 system descriptions) of which 40 were accepted (28 regular papers and 12 system descriptions). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 92 external referees. Afterwards, the submissions were discussed by the ProgramCommittee during two weeks by means of Andrei Voronkov’s EasyChair system. We want to thank Andrei very much for providing his system, which was very helpful for the management of the submissions and reviews and for the discussion of the Program Committee.


analytic tableaux automated deduction automated reasoning computer aided verification datalog logic logic programming policy monitoring query languages rewriting techniques satisfiability testing temporal logic theorem proving verification

Editors and affiliations

  • Jürgen Giesl
    • 1
  • Reiner Hähnle
    • 2
  1. 1.RWTH Aachen, LuFG InformatikAachenGermany
  2. 2.Department of Computer ScienceChalmers University of TechnologyGothenburgSweden

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-14202-4
  • Online ISBN 978-3-642-14203-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences