JOURNAL OF ALGORITHMS

in

Cognition, Informatics and Logic

* indicates that Editor has agreed to serve 1 Editors in Chief Dov M. Gabbay, King’s College London, UK Georg Gottlob, University of Oxford, UK Jörg Siekmann, Universität des Saarlandes, Germany

Executive Editors

Judea Pearl, UCLA, US Adi Shamir, Wezmann Institute, Israel Christos Papadimitriou, Berkeley, UK Johan van Benthem, University of Amsterdam, The Nederlands John Lloyd, Australian National University, Canberra, Australia

Editorial Board

COGNITION

C1 Algorithms in Natural Language Processing *Johan van Benthem, University of Amsterdam, The Netherlands *Michael Moortgat, University of Utrecht, The Nederlands *Manfred Pinkal, Universität des Saarlandes, Saarbrücken, Germany *Hans Uszkoreit, DFKI, Saarbrücken, Germany *Shalom Lappin, King’s College,UK *Walter Daelemans, University of Antwerp, Belgium *Shuly Wintner, University of Haifa, Israel Johanna Moore, University of Edinburgh, Scotland *Andrew Kehler, UCSD

C2 Algorithms in Computer Vision and Pattern Recognition *Joachim Weikert, Universität des Saarlandes, Germany Thomas Bruel, DFKI, Saarbrücken, Germany Bernd Neumann, University of Hamburg, Germany David Waltz, University of Columbia, USA

C3 Algorithms in Robotics and Cognitive Actors Mike Brady, Oxford University, UK *Michael Thielscher, Technische Universität Dresden, Germany *Frank Kirchner, DFKI, Bremen Germany *Bernhard Nebel, University of Freiburg, Germany *Alan K. Mackworth, University of British Columbia, Canada

C4 Algorithms in Multi Agent Systems *Matthias Klusch, DFKI, Saarbrücken, Germany Sascha Ossowski, Universidad Rey Juan Carlos, Spain Enrico Gerding, Southampton University, UK Jörg Denzinger, University of Calgary, Canada

* indicates that Editor has agreed to serve 2 Han La Poutré, CWI, The Netherlands Ryszard Kowalczyk, Swinburne University, Australia Helder Coelho, Lisbon University, Portugal Henry Kautz, University of Rochester, USA.

C5 Algorithms in Knowledge Representation and the Semantic Web Paolo Traverso, ITC, IRST, Trento Austin Tate, Edinburgh Univ UK *Franz Baader, Technische Universität, Dresden, Germany *Ian Horrocks, Oxford, UK *Fairouz Kamareddine, Harriot Watts Univ, Edinburgh, UK *Maurizio Lenzerini, University of Rome “La Sapienza”, Italy * *Michael Kohlhaase, International University of Bremen, Germany Alessandro Armando, Univeristy of Genova, Italy Robert Nieuwenhuis, Technical Univesity of Catalonia, Spain

C6 Algorithms and Neural Networks *Artur d’Avila Garcez, City University, London, UK Steffen Hölldobler, Technische Universität, Dresden, Germany *Howard Blair, Syracuse, USA *Barbara Hammer, TU Clausthal, Germany *Pascal Hitzler, Univ Karlsruhe, Germany *Paul Rojas, TU Berlin, Germany Geoff Hinton, Univesity of Toronto, Canada *Luis Lamb, Universidade Federal do Rio grande do Sul, Brazil

C7 Algorithms in Machine Learning *Gerson Zaverucha, Federal University of Rio de Janeiro, Brazil *John Lloyd, ANU, Australia *Donald Sofge, Navy Center for Applied Research in Artificial Intelligence Oliver Ray, Bristol, UK Steven Muggleton, Imperial College, UK Ed Stabler, UCLA, USA

INFORMATICS

I1 Algorithms in Programming Languages and Software Engineering, Bertrand Meyer, Zürich *Manfred Broy, Technische Universität München, Germany Tom Maibaum, Kingston College, London José Meseguer, University of Urbana, USA *Kokichi Futatsugi, JAIST, Ishikawa, Japan Manuel Hermenegildo, University of Madrid, Spain Antonis Kakas, University of Cyprus, Nicosia, Cyprus *Gert Smolka, Universität des Saarlandes, Germany *Howard Barringer, University of Manchester, UK *Franz Wotowa, TU Graz, Austria *Amr Sabry, Indiana University, USA

* indicates that Editor has agreed to serve 3 I2 Algorithms in Information Retrieval and Data Bases and the Web Roger He, Buffalo University, USA Gerhard Weikum, Max-Planck-Institut fuer Informatik, Saarbrücken C. J. van Rijsbergen, University of Glasgow, UK Leonid Libkin, University of Edinburgh, Scotland *Gerhard Lakemeyer, University of Aachen, Germany *Carsten Schuermann, Denmark *Peter Bruza, Queensland Univeristy of Technology, Australia

I3 Algorithms in Life Sciences, Computations and Systems Biology Hans-Peter Lehnhof, Saarbrucken University, Germany *David Gilbert, Glasgow University, UK

I4 Algorithms in Quantum Computing and Nonstandard Models of Computing *Paul Vitanyi, CWI, The Netherlands Jeffrey Bub, UMD, USA *William Lawless, Paine College, USA David Deutsch, USA Mladen Pavicic, Zagreb, Hungary Peter Shor, MIT, USA Anton Zeilinger, Vienna, Austria Gordon Plotkin, University of Edinburgh, UK Ronald de Wolf, CWI, The Netherlands

I5 Algorithms for Computer Algebra and Symbolic Computation Anant Agarwal, MIT, USA Joachim von zur Gathen, Paderborn University, Germany Bruno Buchberger, Univ of Linz, RISC Institute, Linz, Austria Jacques Calmet, Karlsruhe, Germany

I6 Algorithms in Cryptography, Verification and Secuirty John Fitzgerald, University of Newcastle, UK *David Basin, Swiss Federal Institute of Technology, Zürich, Switzerland Michael Backes, Univ Saarbrücken , Germany Birgit Pfitzmann, IBM, USA Dieter Hutter, DFKI, Germany Bertrand Mantel Guifre Vidal, University of Queensland, Australia

I7 Algorithms and Formal Methods *Wojciech Buszkowski, Poznan, Poland Werner Damm, Oldenberg, Germany Amir Pnueli, Wiezmann, Israel David Harel, Weizmann, Israel Bernd Krieg-Brückner, Bremen, Germany

I8 Algorithms in Geometry and Graphics Emo Welzl, ETH Zurich, Switzerland Leo Guibas, Stanford, USA *Victor Pambuccian, ASU, USA *Xiaotie Deng, City University, Hong Kong

* indicates that Editor has agreed to serve 4 Jinjhui Xu, Buffalo, USA Hans Peter Seidel, MPI, Munich, Germany Philipp Slusallek, Saarbrucken, Germany

I9 Algorithms in Economics and Game Theory *Paul Spirakis, Patras, Greece Stefano Leonardi, Rome, Italy

LOGIC

L1 Algorithms in Automated Reasoning Andrei Voronkov, University of Manchester, United Kingdom Claude Kirchner, LORIA, France Ed Clarke, Carnegie Mellon University Robert Constable, Cornell University, NY, USA Wolfgang Bibel, Univ of Darmstadt, Germany *Christoph Benzmüller, Univ of Saarbrücken, Germany *Christoph Walther, Univ of Darmstadt, Germany *Volker Sorge, University of Birmingham, UK *Hans-Juergen Ohlbach, Munich, Germany *Ulrich Fuhrbach, Germany *Jacques Fleuriot, University of Edinburgh, Scotland *Christoph Kreitz, Cornell, USA

L2 Algorithms in Logic and Decision Procedures *Valentin Shehtman, Moscow Ildiko Sain, Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary Daniel Lehmann, Hebrew University of Jerusalem, Israel Samson Abramsky, University of Oxford, Oxford, UK Petr Hajek, Academy of Sciences of the Czech Republic *Janos Makowsky, Technion, Haifa, Israel *Sam Buss, UCSD, USA *Jan Bergstra, Amsterdam, The Netherlands *Christian List, LSE, UK

L3 Algorithms in Spatial Logic and Geography *Michael Zakharyaschev, Birkbeck, London, UK Tony Cohn University of Leeds, UK Christian Fresksa, Bremen, Germany *Ian Pratt, Manchester, UK

L4 Algorithms and Uncertainty *Rudolf Kruse, Otto von Guericke-Universität, Magdeburg, Germany *Luis Farinas del Cerro, Paul Sabatier University, Toulouse, France *Didier Dubois, Université Paul Sabatier, Toulouse, France *Henri Prade, Université Paul Sabatier, Toulouse, France *Jon Williamson, King’s College London, UK Marco Zaffalon, Lugano, Switzerland Fabio Cozman, Sao Paulo, Brazil Serafin Moral, Granada, Spain

* indicates that Editor has agreed to serve 5

L5 Algorithm in the Philosophy of Sciences Gabriel Sandu, University of Helsinki, Finland *Paul Thagard, University of Waterloo, Waterloo, Canada *John Woods, University of British Columbia, Vancouver, Canada

L6 Algorithms in Space Time, Relativity and Quantum theory Hajnal Andréka, Mathematical Institute, Budapest, Hungary Istvan Nemeti, Mathematical Institue, Budapest, Hungary *John Tucker, Swansea, UK

L7 Algorithms and Procedures in Law *Luc de Raedt, Albert Ludwig Universität, Freiburg, Germany *José Carmo, University of Madeira, Funchal, Portugal Lars Lindahl, Lund University, Sweden *Henry Prakken, Netherlands *Marek Sergot, Imperial College London, UK

L8 Algorithms in Non-monotonic Logics and Logic Programming *Jürgen Dix, University of Clausthal, Germany Katsumi Inoue, Kyoto University, Japan Mirek Truszczynski, Kentucky, USA Tony Hunter, University College London, UK Thomas Eiter, Vienna, Austria Ken Satoh, National Institute of Informatics, Japan *Michael Maher, National ICT, Australia *Luis Moniz Pereira, Universidade Nova de Lisboa, Lisboa, Portugal

L9 Algorithms in Nonclassical Logics; modal, temporal and substructural. *Marcus Kracht, University of California, Los Angeles *Walter Carnielli, State University of Campinas, Brazil *Lorenzo Magnani, University of Pavia, Italy *Nicola Olivetti, University of Paul Cezanne/LSIS, Marseille, France *Mark Reynolds, University of Western Australia, Australia, *Melvin Fitting, New York, USA *Lou Goble, Willamette, USA Frank Wolter, Liverpool, UK

* indicates that Editor has agreed to serve 6