JOURNAL OF ALGORITHMS

in

Cognition, Informatics and Logic

1 Editors in Chief Amihood Amir, Bar Ulan Univ, Israel Dov M. Gabbay, King’s College London, UK Jörg Siekmann, Universität des Saarlandes, Germany

Executive Editors Judea Pearl, UCLA, US Alan Bundy, University of Edinburgh, UK Adi Shamir, Wezmann Institute, Israel Christos Papadimitriou, Berkeley, UK Bob Harper, CMU, US Moshe Vardi, Rice Univ, USA Johan van Benthem, University of Amsterdam, The Nederlands Andy Yao, Tsinghua University, China John Lloyd, Australian National University, Canberra, Australia Georg Gottlob, University of Oxford, UK

Editorial Board

COGNITION

C1 Algorithms in Natural Language Processing Hans Kamp, Universität Stuttgart, Germany 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 Yoad Winter, Technion, Israel Institute of Technology Shuly Wintner, University of Haifa, Israel Johanna Moore, University of Edinburgh, Scotland Andrew Kehler, UCSD Ian Pratt, Univ. of Manchester, UK

C2 Algorithms in Computer Vision and Pattern Recognition Alan K. Mackworth, University of British Columbia, Vancouver, Canada Joachim Weikert, Universität des Saarlandes, Germany Michael Maher, University of New South Wales, Australia

C3 Algorithms in Robotics and Cognitive Actors Mike Brady, Oxford University, UK Gerhard Lakemeyer, Technische Universität Aachen, Germany Michael Thielscher, Technische Universität Dresden, Germany Frank Kirchner, DFKI, Bremen Germany Raul Rojas, Berlin, Germany Donald Sofge, Navy Center for Applied Research in Artificial Intelligence Bernhard Nebel, University of Freiburg, Germany

2 C4 Algorithms in Multi Agent Systems, Michael Fisher, University of Liverpool, UK Nick Jennings, Southampton University, UK Sarit Kraus, Bar-Ilan University, Ramat Gan, Israel Katia Sycara, Carnegie Mellon University, USA Victor R. Lesser, University of Massachusetts, Amherst, USA Mike Wooldridge, University of Liverpool, United Kingdom Henry Kautz, University of Rochester, Rochester, NY, 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, Italy Michael Kohlhaase, International University of Bremen, Germany Pat Hayes, University of West Florida, USA

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 Wolfgang Maass, TU Graz, Austria Gerson Zaverucha, Univ of Rio de Janeiro, Brasil

C7 Algorithms and Learning (to be completed) C8 Algorithms for Artificial Life (to be completed)

INFORMATICS

I1 Algorithms in Programming Languages and Software Engineering, Bertrand Meyer, Zürich Manfred Broy, Technische Universität München, Germany Peter Druschel, MPI SWS ,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 Wojciech Buszkowski, Poland

3 I2 Algorithms in Information Retrieval and Data Bases and the Web Jan Chomicki, University at Buffalo, New York, USA Monika Rauch-Henzinger, EPFL, Web Algorithms Gerhard Weikum, Max-Planck-Institut fuer Informatik, Saarbrücken C. J. van Rijsbergen, University of Glasgow, UK Sanders, Karlsruhe, Germany Hans Peter Seidel, Max-Planck-Institut fuer Informatik, Saarbrücken Franz Wotawa, University of Graz, Austria Leonid Libkin, University of Edinburgh, Scotland Gerhard Lakemeyer, University of Aachen, Germany Carsten Schuermann, Denmark

I3 Algorithms in Distributed and Parallel Processing Friedhelm Meyer auf der Heide, Universität Paderborn, Germany Charles Leiserson, MIT Richard E. Ladner, University of Washington, USA, Peter Druschel, Max-Planck-Institut fuer Informatik, Saarbrücken Jeff Kramer, Imperial College, London UK

I4 Theory of Algorithms and Complexity Philippe Flajolet, INRIA, France Madhu Sudan: MIT, USA, Emo Welzl, ETH, Johan Haastad, Stockholm Sanjeev Arora, Princeton University, USA Andy Yao, Tsinghua University, China Ernst Mayr, TU München, Germany Naveen Garg, IIT Dehli Approximation Algorithms

I5 Algorithms in Life Sciences and Bioinformatics Thomas Lengauer, Max-Planck Institut für Informatik, Saarbrücken David Gilbert, University of Glasgow

I6 Algorithms in Quantum Computing and Nonstandard Models of Computing Paul Vitanyi, CWI , Amsterdam Lars Arge, Aarhus Algorithms for Very Large Data Sets, Denmark William Lawless, Paine College, USA

I7 Algorithms for Computer Algebra Anant Agarwal, MIT, USA. Joachim Von zur Gathen, Paderborn, Germany Bruno Buchberger, Univ of Linz, RISC Institute, Linz, Austria

I8 Algorithms in Combinatorial Optimization and Discrete Mathematics R. Ravi, Carnegie Mellon University, Pittsburgh, USA Xiaotie Deng, City University of Hongkong, China Howard Karloff, AT&T, Lab, USA Eva Tardos , Cornell, Ithaca, USA Uri Zwick, Tel Aviv University, Israel Alexander Schrijver, CWI Integer Programming and Combinatorial Optimization Gerhard Woeginger, TU Eindhoven, Netherlands

4 Stefano Leonardi, Rome Randomized Algorithms and Online Algorithms Jiri Matousek, Prague,

I9 Algorithms in Cryptography, Verification and Security John Fitzgerald, University of Newcastle, UK David Basin, Swiss Federal Institute of Technology, Zürich, Switzerland Michael Backes, Univ Saarbrücken , Germany Dale Miller, Ecole Polytechnique/INRIA, Palaiseau, France.

I10 Algorithm Engineering (to be completed)

I11 Algorithms and Formal Methods Tom Henzinger,EPFL Werner Damm, University of Oldenbourg Leslie Lamport, Microsoft Amir Pnueli, The Weizmann Institute, Israel David Harel , Weizmann Institute Israel Yuri Gurevich, Microsoft, USA

I12 Algorithms, Geometry and Graphics Marc Overmars. University of Utrecht Mark de Berg, TU Eindhoven, Netherlands Jiri Matousek, Prague, Emo Welzl, ETH, Pankaj Agarwal, Duke University (Computational Geometry) Leo Guibas, Stanford, USA

I13 Algorithms, Economics and Game Theory Paul Spirakis, Patras Eva Tardos , Cornell, Ithaca, USA Stefano Leonardi, Rome Randomized Algorithms and Online Algorithms

LOGIC

L1 Algorithms in Automated Reasoning Larry Paulson, Cambridge University, 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

5

L2 Algorithms in Logic and Decision Procedures Valentin Shehtman, Moscow Ildiko Sain, Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary Peter Shor, MIT, USA 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

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

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 Christian List, London School of Economics, London, UK Jeff Paris, University of Manchester, UK

L5 Algorithm in the Philosophy of Sciences Gabriel Sandu, University of Helsinki, Finland Paul Thagard, University of Waterloo, Waterloo, Canada Michael. S. Waterman, University of Southern California. Peter Bruza, Queensland University of Technology, Australia John Woods, University of British Columbia, Vancouver, Canada

L6 Algorithms in Space Time, Relativity and Quantum theory Victor Pambuccian, Arizona State University West, USA Hajnal Andréka, Mathematical Institute, Budapest, Hungary Istvan Nemeti, Mathematical Institue, Budapest, Hungary

L7 Algorithms and Procedures in Law Steven Muggleton, Imperial College, London, UK 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 Jürgen Dix, University of Manchester, UK Vladimir Lifschitz, University of Texas at Austin, USA (more names)

6

L9 Algorithms in Nonclassical Logics: modal, temporal and substructural. Luis Moniz Pereira, Universidade Nova de Lisboa, Lisboa, Portugal Marcus Kracht, University of California, Los Angeles Walter Carnielli, State University of Campinas, Brazil Lorenzo Magnani, University of Pavia, Italy Nicola Olivetti, University of Torino, Italy Mark Reynolds, University of Western Australia, Australia, John Tucker, Swansea, Wales Melvin Fitting, New York, USA Lou Goble, Willamette, USA

7