SiteStat.jsp

Journal of Applied Logic

Journal of Applied Logic
ISSN: 1570-8683
Imprint: ELSEVIER
Actions

Statistics
Issues per year: 4

Editorial Board



Executive Editors

Dov M. Gabbay
King's College London, London, UK
Andrew J.I. Jones
King's College London, London, UK
Jörg Siekmann
Universität des Saarlandes, Saarbrücken, Germany

Editorial Office Manager

Jane Spurr
King's College London, London, UK, Email: jda@kcl.ac.uk

Area Scientific Editors


Philosphical Logic

Johan van Benthem
Universiteit van Amsterdam (UVA), Amsterdam, Netherlands
Lou Goble
16 N. Madison St., Eugene, 97402, USA
Stefano Predelli
University of Nottingham, Nottingham, UK
Gabriel Sandu
University of Helsinki, Helsinki, Finland

New Applied Logics

Walter Carnielli
Centre for Logic, Epistemology & the History Sci., Campinas, SP, Brazil
David Makinson
London School of Economics and Political Science, London, UK
Robin Milner
University of Cambridge, Cambridge, England, UK
Henrich Wansing
Technische Universität Dresden, Dresden, Germany

Modal and Temporal Logic

Carols Areces
Université Henri Poincaré (Nancy I), Villers les Nancy, France
Melvin Fitting
City University of New York (CUNY), Bronx, NY, USA
Victor Marek
University of Kentucky, Lexington, KY, USA
Mark Reynolds
University of Western Australia, Perth, WA, Australia
Frank Wolter
University of Liverpool, Liverpool, England, UK

Logic and Software Engineering

Manfred Broy
Technische Universität München (TUM), Garching bei München, Germany
John Fitzgerald
Newcastle University, Newcastle Upon Tyne, UK
Kung-Kiu Lau
The University of Manchester, Manchester, England, UK
Tom Maibaum
King's College London, London, UK
German Puebla
Universidad Politécnica de Madrid (UPM), Madrid, Spain

Formal Methods: Specifications and Verification

Howard Barringer
The University of Manchester, Manchester, England, UK
David Basin
Eidgenössische Technische Hochschule Zürich (ETH), Zürich, Switzerland
Dines Björner
Danmarks Tekniske Universitet (DTU), Lyngby, Denmark
Kokichi Futatsugi
Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Yuri Gurevich
Microsoft Research Ltd, Redmond, WA, USA
Amir Pnueli
Weizmann Institute of Science, Rehovot, Israel

Logic and Constraint Logic Programming

Manuel Hermenegildo
Universidad Politécnica de Madrid (UPM), Madrid, Spain
Antonis Kakas
University of Cyprus, Nicosia, Cyprus
Francesca Rossi
Università degli Studi di Padova, Padova, Italy
Gert Smolka
Universität des Saarlandes, Saarbrücken, Germany

Logic and Databases

Jan Chomicki
State University of New York (SUNY) at Buffalo, Buffalo, NY, USA
Enrico Franconi
Libera Università de Bolzano, Bozen-Bolzano, Italy
Georg Gottlob
University of Oxford, Oxford, England, UK
Leonid Libkin
University of Toronto, Toronto, Canada
Franz Wotawa
Technische Universität Graz, Graz, Austria

Logic and Multi-Agent Systems

Michael Fisher
University of Liverpool, Liverpool, England, UK
Nick Jennings
University of Southampton, Southampton, UK
Sarit Kraus
UMIACS, College Park MD, USA
Michael Wooldridge
University of Liverpool, Liverpool, England, UK

Logic and Algebraic Programming

Jan Bergstra
Universiteit van Amsterdam (UVA), Amsterdam, Netherlands
John Tucker
University College of Swansea, Swansea, UK

Logic and Natural Language Processing

Wojciech Buszkowski
Adam Mickiewicz University of Poznan, Poznan, Poland
Hans Kamp
Universität Stuttgart, Stuttgart, Germany
Marcus Kracht
University of California at Los Angeles (UCLA), Los Angeles, CA, USA
Johanna Moore
University of Edinburgh, Edinburgh, UK
Michael Moortgat
Universiteit Utrecht, Utrecht, Netherlands
Manfred Pinkal
Universität des Saarlandes, Saarbrücken, Germany
Hans Uszkoreit  
Universität des Saarlandes, Saarbrücken, Germany

Automated Inference Systems and Model Checking

Ed Clarke
Carnegie Mellon University, Pittsburgh, PA, USA
Ulrich Furbach
Universität Koblenz-Landau, Koblenz, Germany
Hans Juergen Ohlbach
Technische Universität München (TUM), Garching bei München, Germany
Volker Sorge
University of Birmingham, Birmingham, UK
Andrei Voronkov
Uppsala Universitet, Uppsala, Sweden
Toby Walsh
University of York, Heslington, York, UK

Logic and Rewriting

Claude Kirchner
Loria, Villers-lès-Nancy, France
José Meseguer
Thomas M. Siebel Center for Computer Science, Urbana, IL, USA

Tactical Theorem Proving and Proof Planning

Alan Bundy
University of Edinburgh, Edinburgh, UK
Jacques  Fleuriot
University of Edinburgh, Edinburgh, UK
Dieter Hutter
DFKI GmbH, Saarbrücken, Germany
Manfred Kerber
University of Birmingham, Birmingham, UK
Christopher Kreitz
Cornell University, Ithaca, NY, USA

Logic in Mechanical and Electrical Engineering

Rudolf Kruse
Otto-von-Guericke-Universität Magdeburg, Magdeburg, Germany
Ebrahaim Mamdani
Imperial College, Kensington, London, UK

Logic for Knowledge Representation and Semantic Web

Franz Baader
Technische Universität Dresden, Dresden, Germany
Anthony Cohn
University of Leeds, England, UK
Ian Horrocks
The University of Manchester, Manchester, England, UK
Maurizio Lenzerini
Università di Roma "La Sapienza", Roma, Italy
Bernhard Nebel
Albert-Ludwigs-Universität Freiburg, Freiburg, Germany

Mathematical Logic

Wilfrid A. Hodges
Okehampton, England, UK
Janos Makowsky
Technion - Israel Institute of Technology, Haifa, Israel

Proof Theory

Sam Buss
University of California, San Diego (UCSD), San Diego, La Jolla, CA, USA
Wolfram Pohlers
Westfälische Wilhelms-Universität Münster, Münster, Germany

Algebraic Methods in Logic

Miklos Ferenczi
Technical University of Budapest, Budapest, Hungary
Rob Goldblatt
Victoria University of Wellington, Wellington, New Zealand
Robin Hirsch
University College London, London, England, UK
Ildikó Sain
Hungarian Academy of Sciences, Budapest, Hungary

Applied Non-classical Logic

Luis Fariñas del Cerro
Université Paul Sabatier (Toulouse), Toulouse Cedex, France
Nicola Olivetti
Université Paul Cézanne, Marseille Cedex 20, France

Logic Applied in Mathematics


(including e-Learning Tools for Mathematics and Logic)

Bruno Buchberger
Johannes-Kepler-Universität Linz, Schloss Hagenberg, Austria
Robert L. Constable
Cornell University, Ithaca, NY, USA
F. Kamareddine
Heriot-Watt University, Edinburgh, UK
Michael Kohlhase
International University Bremen, Bremen, Germany
Erica Melis
Universität des Saarlandes, Saarbrücken, Germany

Logic and Neural Networks

Artur d'Avila Garcez
City University of London, London, UK
Steffen Holldobler
Technische Universität Dresden, Dresden, Germany
John G. Taylor
University of London, London, UK

Non-monotonic Logics and Logics of Change

Jürgen Dix
The University of Manchester, Manchester, England, UK
Vladimir Lifschitz
University of Texas at Austin, Austin, TX, USA
Michael J. Maher
University of New South Wales, Sydney, NSW, Australia
Donald Nute
University of Georgia, Athens, GA, USA
D. Pearce
Universidad Politécnica de Madrid (UPM), Madrid, Spain

Type Theory for Theorem Proving Systems

Peter Andrews
Carnegie Mellon University, Pittsburgh, PA, USA
Christoph Benzmüller
Universität des Saarlandes, Saarbrücken, Germany
Dale Miller
Ecole Polytechnique de France, Palaiseau, France
C. Schürmann
Yale University, New Haven, CT, USA

Logic and Learning

Luc de Raedt
Albert-Ludwigs-Universität Freiburg, Freiburg, Germany
John Lloyd
Australian National University (ANU), Canberra, ACT, Australia
Stephen H. Muggleton
Imperial College, London, UK

Cognitive Robotics: Actions and Causation

Gerhard Lakemeyer
Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen Germany
Michael Thielscher
Technische Universität Dresden, Dresden, Germany

Logic and Planning

Susanne Biundo
Universität Ulm, Ulm , Germany
Patrick Doherty
Linköping University, Linköping, Sweden
Henry Kautz
University of Rochester, Rochester, NY, USA
Paolo Traverso
Automated Reasoning Systems (SRA) Division ITC/IRS, Trento, Italy

Logic and Computational Models of Scientific Causation

Lorenzo Magnani
Università degli Studi di Pavia, Pavia, Italy
Luís Moniz Pereira
Universidade Nova de Lisboa (Lisbon), Monte De Caparica, Caparica, Portugal
Paul Thagard
University of Waterloo, Waterloo ON, Canada

Fuzzy Logic, Uncertainty and Probability

Didier Dubois
Université Paul Sabatier (Toulouse), Toulouse, France
Petr Hajek
Academy of Sciences of the Czech Republic, Prague 8, Czech Republic
Jeff B. Paris
The University of Manchester, Manchester, UK
Henri Prade
Université Paul Sabatier (Toulouse), Toulouse, France
Jon Williamson
University of Kent at Canterbury, Canterbury, UK

Logic and Law

José Carmo
SQIG at IT, São João De Deus, Lisboa, Portugal
Lars Lindahl
Lund University, Lund, Sweden
Marek Sergot
Imperial College, London, UK

Human Reasoning

Peter Bruza
Queensland University of Technology, Brisbane, QLD, Australia
John Woods
University of British Columbia, Vancouver BC, Canada

Logic and Category Theory

Samson Abramsky
University of Oxford, Oxford, England, UK
Martin Hyland
University of Cambridge, Cambridge, England, UK
Jim Lambek
McGill University, Montreal, QC, Canada

Logic and Physics (space time, relativity and quantum theory)

Hajnal Andréka
Hungarian Academy of Sciences, Budapest, Realtanoda, Hungary
Daniel Lehmann
Hebrew University of Jerusalem, Jerusalem, Israel
Istvan Nemeti
Hungarian Academy of Sciences, Budapest, Realtanoda, Hungary
Victor Pambuccian
Arizona State University West, Phoenix, AZ, USA
 
This is a spacer...