College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Algorithmics
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
IfColog series in Computational Logic
IfColog Lecture series
IfColog Proceedings
Journals
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications
About
Editorial Board
Scope of the Journal
Submissions
Forthcoming papers
Law and Society
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Systems
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Editorial Board


Executive Editors
Dov M. Gabbay, King's College London, UK
Sarit Kraus, Bar-Ilan University, Ramat Gan. Israel
Joerg Siekmann, Universitat Saarbrucken, Germany

Editorial Office Manager
Jane Spurr, King's College London, UK; e-mail: jane.spurr@kcl.ac.uk

Editorial Board
Marcello D'Agostino, Univesity of Milan, Italy
Natasha Alechina, University of Nottingham, UK
Sandra Alves, University of Porto, Portugal
Arnon Avron, Tel Aviv University, Israel
Jan Broersen, University of Utrrecht, The Netherlands
Martin Caminada, University of Cardiff, UK
Balder ten Cate, University of California, Santa Cruz
Agata Ciabattoni, University of Vienna, Austria
Robin Cooper, University of Gothenburg, Sweden
Luis Farinas del Cerro, IRIT, France
Esther David, Ashkelon College, Israel
Didier Dubois, IRIT, France
PM Dung, Asian Institute of Technology, Thailand
David Fernandez Duque, IRIT, France
Jan van Eijck, University of Amsterdam, The Netherlands
Amy Felty, University of Ottowa, Canada
Melvin Fitting, CUNY, USA
Dov Gabbay (managing editor), King's College London, UK
Michael Gabbay, Cambridge University, UK
Murdoch Gabbay, Heriot Watt University, Scotland
Tom Gordon, Frunhofer, FOKUS, Germany
Wesley Holliday, Berkeley, USA
Sara Kalvala, University of Warwick, UK
Shalom Lappin, University of Gothenburg, Sweden
Beishui Liao, Zhejiang University, China
David Makinson, LSE, UK
George Metcalfe, Bern University, Switzerland
Claudia Nalon, University of Brasilia, Brasil
Valeria de Paiva, University of Birmingham, UK
Jeff Paris, University of Manchester, UK
David Pearce, University of Madrid, Spain
Brigitte Pientka, McGill, Canada
Elaine Pimentel, University Federal do Rio Grande do Norte, Brazil
Henri Prade, IRIT, France
David Pym, University College London, UK
Ruy de Queiroz, University Federal de Pernambucco, Brazil
Ram Ramanujam, Lousiana State University, USA
Christian Retoré, LIRMM, France
Ulrike Sattler, University of Manchester, UK
Joerg Siekmann (managing editor), DFKI, Germany
Jane Spurr (executive editor), King's College London, UK
Kaile Su, Brisbane, Australia
Leon van der Torre, University of Luxembourg, Luxembourg
Yde Venema, University of Amsterdam, The Netherlands
Rineke Verbrugge, Groningen, The Netherlands
Heinrich Wansing, Ruhr Universitat Bochum, Germany
Jef Wijsen, University de Mons, Belgium
John Woods, UBC, Canada
Michael Wooldridge, Oxford University, UK
Anna Zamansky, Haifa University, Israel

Area Scientific Editors
Philosophical Logic
Johan van Benthem, University of Amsterdam, The Netherlands
Lou Goble, 16 N. Madison St, Eugene, OR 97402, 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 (deceased)
Heinrich Wansing, Technische Universitiit, Dresden. Germany

Modal and Temporal Logic
Carlos Areces, INRJA Nancy Grant Est, Villers les Nancy, France
Melvin Fitting, Lehmann College, New York, NY, USA
Victor Marek, University of Kentucky, Lexington, KY, USA
Mark Reynolds. University of Western Australia. Australia
Frank Wolter, University of Liverpool, UK
Michael Zakharyaschev, Birkbeck College London, UK

Logic and Software Engineering
Manfred Broy, Technische Universitiit, Milnchen, Germany
John Fitzgerald, University of Newcastle, Newcastle upon Tyne, UK
Kung-Kiu Lau, University of Manchester, Manchester, UK
Tom Maibaum, McMaster University, Hamilton, Ontario, Canada
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, Zurich, Switzerland
Dines Bjorner, Technical University of Denmark, Lyngby, Denmark
Kokichi Futatsugi, JAIST, Ishikawa.Japan
Yuri Gurevich, Microsoft, USA

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, UniversitiJt des Saarlandes, Germany

Logic and Databases
Jan Chomicki, University at Buffalo, New York, NY, USA
Enrico Franconi, Free University of Bozen, Balzano, Italy
Georg Gottlob, Technische Universitt.it Wien, Austria
Leonid Libkin, University of Edinburgh. Scotland, UK
Franz Wotawa, Technische Universitiit, Graz. Austria

Logic and Multi-Agent Systems
Michael Fisher, University of Liverpool. UK
Nick Jennings, Southampton University, UK
Mike Wooldridge, University of Oxford, 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¨u;t Stuttgart, Stuttgart, Germany
Marcus Kracht, University of California, Los Angeles, CA, USA
Johanna Moore, The University of Edinburgh, Scotland, UK
Michael Moortgat, University of Utrecht, The Netherlands
Manfred Pinkal, Universitlit des Saarlandes, Saarbriicken, Germany
Hans Uszkoreit, DFKI, Saarbr¨u;cken, Germany

Automated Inference Systems and Model Checking
Ed Clarke, Carnegie Mellon University, Pittsburgh, PA, USA
Ulrich Furbach, Universit¨u;t Koblenz. Koblenz, Germany
Hans Juergen Ohlbach, Ludwig-Maximilians-Universitlit, Miinchen, 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
Jose Meseguer, University of Urbana, IL. 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¨u;t Saarbr¨u;cken, Germany
Manfred Kerber, University of Birmingham, UK
Christoph Kreitz, Cornell University, Ithaca, NY. USA and University of Potsdam, Germany

Logic in Mechanical and Electrical Engineering
Rudolf Kruse, Otto von Guericke-Universit¨u;t, Magdeburg, Germany
Ebrahaim Mamdani, Imperial College, London, UK

Logic for Knowledge Representation and the Semantic Web
Franz Baader, Technische Universit¨u;t, Dresden, Germany
Anthony Cohn, University of Leeds, UK
Pat Hayes, University of West Florida, Pensacola, FL, 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

ProofTheory
Sam Buss, University of California, San Diego, CA, USA
Wolfram Pohlers, University of Munster, Germany

Algebraic Methods in Logic
Miklos Ferenczi, Technical University of Budapest, Hungary
Robin Hirsch, University College London, UK
Idiko Sain, Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary

Applied Non-classical Logic
Luis Farinas del Cerro, Paul Sabatier University, Toulouse, France
Nicola Olivetti, Universite Paul Cezanne, Marseille, Fronce

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, Saarbnicken, Germany

Logic and Neural Networks
Artur d'Avila Garcez, City University, London, UK
Steffen Holldobler, Technische Universitat, Dresden, Germany
John G. Taylor, King's College London, UK
Non-monotonic Logics and Logics of Change
Jurgen Dix, Clausthal University of Technology, Clausthal, Germany
Vladimir Lifschitz, University of Texas at Austin, TX, USA Michael Maher, University of New South Wales, Australia Donald Nute, University of Georgia, Athens, GA, USA
David Pearce, Madrid, Spain

Type Theory for Theorem Proving Systems
Peter Andrews, Carnegie Mellon University, Pittsburgh, PA, USA
Chris Benzm¨u;ller, Freie Universitiit Berlin, Berlin, Germany
Chad Brown, Carnegie Mellon University, Pittsburgh, PA. USA
Dale Miller, Ecole Polytechnique/lNRJA, Palaiseau, France
Carsten Schlirmann, Yale University, New Haven, CT. USA

Logic and Learning
Luc de Raedt, K.U. Leuven, Heverlee, Belgium
John Lloyd, Australian National University, Canberra, Australia
Steven Muggleton, Imperial College, London, UK

Cognitive Robotics: Actions and Causation
Gerhard Lakemeyer, Technische Universitat, Aachen, Germany
Michael Thielscher, The University of New South Wales, Australia

Logic and Planning
Susanne Biundo, Universitat Ulm, Germany
Patrick Doherty, Link6ping University, Sweden
Henry Kautz, University of Washington, Seattle, WA. USA
Paolo Traverso, ITC, JRST, 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, Universite Paul Sabatier, Toulouse, France
Petr Hajek, Academy of Sciences of the Czech Republic, Czech Republic
Jeff Paris, University of Manchester. UK
Henri Prade, Universite Paul Sabatier, Toulouse, Fronce
Jon Williamson, University of Kent, UK

Logic and Law
Jose Carmo, University of Madeira, Madeira, Portugal
Lars Lindahl, Lund University, Sweden
Marek Sergot. Imperial College, London, UK

Human Reasoning
Peter Bruza, Queensland University of Technology, Australia
Niki Pfeifer, Ludwig-Maximilians-Universität, München, Germany
John Woods, University of British Columbia, Vancouver. Canada

Logic and category Theory
Samson Abramsky, University of Oxford, Oxford, UK
Joe Goguen, UCLA, San Diego, CA, USA
Martin Hyland, King's College Cambridge, UK
Jim Lambek, McGill University, Canada

Logic and Physics (space time. relativity and quantum theory)
Hajnal Andreka, Mathematical Institute, Budapest, Hungary
Kurt Engesser, King's College London, UK
Daniel Lehmann, Hebrew University of]erusalem, Israel
lstvan Nemeti, Mathematical Institute, Budapest, Hungary
Victor Pambuccian, Arizona State University West, Phoenix, Al, USA

Fuzzy Logic
George Metcalfe, University of Vienna, Austria

Back




© 2005–2018 College Publications / VFH webmaster