Overview
- Up-to-date results
- State-of-the-art report
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7265)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(39 chapters)
About this book
Editors and Affiliations
-
Faculty of Engineering and Natural Science, Sabanci University, Tuzla, Turkey
Esra Erdem
-
School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, USA
Joohyung Lee
-
Department of Computer Science, University of Kentucky, Lexington, USA
Yuliya Lierler
-
Department of Artificial Intelligence, Politechnical University of Madrid, Boadilla del Monte, Spain
David Pearce
Bibliographic Information
Book Title: Correct Reasoning
Book Subtitle: Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Editors: Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-30743-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-30742-3Published: 06 June 2012
eBook ISBN: 978-3-642-30743-0Published: 03 June 2012
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 594
Number of Illustrations: 41 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Logics and Meanings of Programs, Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters