Promotional Information

Presenting the growing richness and diversity of computational logic and its applications

Table of Contents

INTRODUCTION 1. Computational Logic, Jörg Siekmann 2. Logic and the Development of the Computer, Martin Davis GENERAL 3. What is a Logical System? An Evolutionary View: 1964-2014, Dov Gabbay AUTOMATED REASONING 4. Interactive Theorem Proving, John R. Harrison, Josef Urban, Frederik Wiedijk 5. Automation of Higher Order Logic, Christoph Benzmüller, Dale Miller 6. Equational Logics and Rewriting, Claude Kirchner, Helene Kirchner 7. Possibilistic Logic  An Overview, Didier Dubois, Henri Prade 8. Computerizing Mathematical Text, Fairouz Kamareddine, Joe Wells, Christoph Zengler and Henk Barendregt SPECIFICATION and VERIFICATION 9. Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi, Jos Baeten, Davide Sangiorgi 10. Logical Synthesis of Reactive Systems - from Church's Problem to Modern Applications, Bernd Finkbeiner COMPUTER SCIENCE 11. Degrees of Unsolvability, Klaus Ambos-Spies, Peter A. Fejer 12. Computational Complexity, Lance Fortnow, Steven Homer 13. Logic Programming, Bob Kowalski 14. Logic and Databases, Jack Minker, Dietmar Seipel, Carlo Zaniolo 15. Logics for Intelligent Agents and Multi Agent Systems, John-Jules Meyer 16. Description Logics, Matthias Knorr, Pascal Hitzler 17. Logics for the Semantic Web, Pascal Hitzler, Jens Lehmann, Axel Polleres

About the Author

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.