Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4130)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): IJCAR: International Joint Conference on Automated Reasoning
Conference proceedings info: IJCAR 2006.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (53 papers)
-
Front Matter
About this book
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. IJCAR 2006 is a merger of CADE, FroCoS, FTP, TABLEAUX, and TPHOLs.
The 41 revised full research papers and 8 revised system descriptions presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 152 submissions. The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Editors and Affiliations
-
Department of Computer Science, Artificial Intelligence Research Group, University of Koblenz-Landau, Koblenz
Ulrich Furbach
-
SRI International, MS EL256,, Menlo Park, USA
Natarajan Shankar
Bibliographic Information
Book Title: Automated Reasoning
Book Subtitle: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Editors: Ulrich Furbach, Natarajan Shankar
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/11814771
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2006
Softcover ISBN: 978-3-540-37187-8Published: 03 August 2006
eBook ISBN: 978-3-540-37188-5Published: 06 October 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 688
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering