View metadata, citation and similar papers at core.ac.uk brought to you by CORE

provided by Elsevier - Publisher Connector

Executive Editors Dov M. Gabbay, King’s College London, UK Andrew J. I. Jones, King’s College London, UK Jörg Siekmann, Universität Saarbrücken, Germany Editorial Office Manager Jane Spurr, King’s College London, UK; e-mail: [email protected] Area Scientific Editors Philosophical Logic Johan van Benthem, University of Amsterdam, The Netherlands Lou Goble, Willamette University, USA Stefano Predelli, University of Nottingham, UK Gabriel Sandu, University of Helsinki, Finland New Applied Logics Walter Carnielli, State University of Campinas, Brazil David Makinson, London School of Economics, London, UK Robin Milner, Cambridge University, Cambridge, UK Heinrich Wansing, Technische Universität, Dresden, Germany Modal and Temporal Logic Carlos Areces, INRIA Lorraine, Nancy, France Melvin Fitting, Lehmann College, New York, USA Victor Marek, University of Kentucky, Lexington, USA Mark Reynolds, University of Western Australia, Australia Frank Wolter, University of Leipzig, Germany Michael Zakharyaschev, King’s College London, UK Logic and Software Engineering Manfred Broy, Technische Universität, München, Germany John Fitzgerald, University of Newcastle, Newcastle upon Tyne, UK Kung-Kiu Lau, University of Manchester, Manchester, UK Tom Maibaum, King’s College London, UK German Puebla, Technical University of Madrid, Madrid, Spain Formal Methods: Specification and Verification Howard Barringer, University of Manchester, UK David Basin, Swiss Federal Institute of Technology, Zürich, Switzerland Dines Björner, Technical University of Denmark, Lyngby, Denmark Kokichi Futatsugi, JAIST, Ishikawa, Japan Yuri Gurevich, Microsoft, USA Amir Pnueli, The Weizmann Institute, Israel Logic and Constraint Logic Programming Manuel Hermenegildo, University of Madrid, Spain Antonis Kakas, University of Cyprus, Nicosia, Cyprus Francesca Rossi, University of Padova, Italy Gert Smolka, Universität des Saarlandes, Germany Logic and Databases Jan Chomicki, University at Buffalo, New York, USA Enrico Franconi, Free University of Bozen, Bolzano, Italy Georg Gottlob, Technische Universität Wien, Austria Franz Wotawa, Technische Universität, Graz, Austria Leonid Libkin, The University of Toronto, Canada Logic and Multi-Agent Systems Michael Fisher, University of Liverpool, UK Nick Jennings, Southampton University, UK Sarit Kraus, Bar-Ilan University, Ramat Gan, Israel Mike Wooldridge, University of Liverpool, Liverpool, UK Logic and Algebraic Programming Jan Bergstra, University of Amsterdam, The Netherlands John Tucker, University College Swansea, Wales, UK Logic and Natural Language Processing Wojciech Buszkowski, Adam Mickiewicz University, Poznan, Poland Hans Kamp, Universität Stuttgart, Stuttgart, Germany Marcus Kracht, University of California, Los Angeles, USA Michael Moortgat, University of Utrecht, The Netherlands Johanna Moore, The University of Edinburgh, Scotland, UK Manfred Pinkal, Universität des Saarlandes, Saarbrücken, Germany Hans Uszkoreit, DFKI, Saarbrücken, Germany Automated Inference Systems and Model Checking Ed Clarke, Carnegie Mellon University, USA Ulrich Furbach, Universität Koblenz, Koblenz, Germany Hans Juergen Ohlbach, Ludwig-Maximilians-Universität, München, Germany Volker Sorge, University of Birmingham, UK Andrei Voronkov, University of Manchester, UK Toby Walsh, University of New South Wales, Australia Logic and Rewriting Claude Kirchner, LORIA, France José Meseguer, University of Urbana, USA Tactical Theorem Proving and Proof Planning Alan Bundy, University of Edinburgh, Scotland, UK Amy Felty, University of Ottawa, Canada Jacques Fleuriot, University of Edinburgh, Scotland, UK Dieter Hutter, Universität Saarbrücken, Germany Manfred Kerber, University of Birmingham, UK Christoph Kreitz, Cornell University, USA and University of Potsdam, Germany Logic in Mechanical and Electrical Engineering Rudolf Kruse, Otto von Guericke-Universität, Magdeburg, Germany Ebrahaim Mamdani, Imperial College, London, UK Logic for Knowledge Representation and the Semantic Web Franz Baader, Technische Universität, Dresden, Germany Anthony Cohn, University of Leeds, UK Pat Hayes, University of West Florida, USA Ian Horrocks, University of Manchester, UK Maurizio Lenzerini, University of Rome, Italy Bernhard Nebel, Albert-Ludwigs University, Freiburg, Germany Mathematical Logic Wilfrid Hodges, Queen Mary University, London, UK Janos Makowsky, Technion, Haifa, Israel Proof Theory Sam Buss, University of California, San Diego, USA Wolfram Pohlers, University of Münster, Germany Algebraic Methods in Logic Miklos Ferenczi, Technical University of Budapest, Hungary Rob Goldblatt, Victoria University of Wellington, New Zealand Robin Hirsch, University College London, UK Ildiko Sain, Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary Applied Non-classical Logic Luis Fariñas del Cerro, Paul Sabatier University, Toulouse, France Nicola Olivetti, University of Torino, Italy Logic Applied in Mathematics (including e-Learning Tools for Mathematics and Logic) Bruno Buchberger, Johannes Kepler University, Linz, Austria Robert Constable, Cornell University, Ithaca, NY, USA Fairouz Kamareddine, Heriot Watt University, Edinburgh, Scotland Michael Kohlhase, International University of Bremen, Germany Erica Melis, DFKI, Saarbrücken, Germany Logic and Neural Networks Artur d’Avila Garcez, City University, London, UK Steffen Hölldobler, Technische Universität, Dresden, Germany John G. Taylor, King’s College London, UK Non-monotonic Logics and Logics of Change Jürgen Dix, University of Manchester, UK Vladimir Lifschitz, University of Texas at Austin, USA Michael Maher, University of New South Wales, Australia Donald Nute, University of Georgia, Athens, USA David Pearce, Madrid, Spain Type Theory for Theorem Proving Systems Peter Andrews, Carnegie Mellon University, Pittsburg, USA Chris Benzmüller, Universität Saarbrücken, Germany Chad Brown, Carnegie Mellon University, USA Dale Miller, Ecole Polytechnique/INRIA, Palaiseau, France Carsten Schürmann, Yale University, New Haven, USA Logic and Learning John Lloyd, Australian National University, Canberra, Australia Steven Muggleton, Imperial College, London, UK LucdeRaedt,Albert Ludwig Universität, Freiburg, Germany Cognitive Robotics: Actions and Causation Gerhard Lakemeyer, Technische Universität, Aachen, Germany Michael Thielscher, Technische Universität, Dresden, Germany Logic and Planning Susanne Biundo, Universität Ulm, Germany Patrick Doherty, Linköping University, Sweden Henry Kautz, University of Washington, Washington, USA Paolo Traverso, ITC, IRST, Trento, Italy Logic and Computational Models of Scientific Reasoning Lorenzo Magnani, University of Pavia, Italy Luis Moniz Pereira, Universidade Nova de Lisboa, Lisboa, Portugal Paul Thagard, University of Waterloo, Waterloo, Canada Fuzzy Logic, Uncertainty and Probability Didier Dubois, Université Paul Sabatier, Toulouse, France Petr Hajek, Academy of Sciences of the Czech Republic, Czech Republic Jeff Paris, University of Manchester, UK Henri Prade, Université Paul Sabatier, Toulouse, France Jon Williamson, King’s College London, UK Logic and Law José Carmo, University of Madeira, Funchal, Portugal Lars Lindahl, Lund University, Sweden Marek Sergot, Imperial College, London, UK Human Reasoning Peter Bruza, Queensland University of Technology, Australia John Woods, University of British Columbia, Vancouver, Canada Logic and Category Theory Samson Abramsky, University of Oxford, Oxford, UK Joe Goguen, UCLA, San Diego, USA Martin Hyland, King’s College Cambridge, UK Jim Lambek, McGill University, Canada Logic and Physics (space time, relativity and quantum theory) Hajnal Andréka, Mathematical Institute, Budapest, Hungary Kurt Engesser, King’s College London, UK Daniel Lehmann, Hebrew University of Jerusalem, Israel Istvan Nemeti, Mathematical Institute, Budapest, Hungary Victor Pambuccian, Arizona State University West, USA