 |
 |
View Basket |
|
 |
 |
 |
|
|
 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; e-mail: jane@janespurr.net 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 Réka Markovich, Luxembourg University, Luxembourg 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 Livio Robaldo, University of Swansea, UK Ulrike Sattler, University of Manchester, UK Joerg Siekmann (managing editor), DFKI, Germany Marija Slavkovik, University of Bergen, Norway Sonja Smets, University of Amsterdam, The Netherlands 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 Juntao Wang, Xi'an Shiyou University, China 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 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 Juntao Wang, Xi'an Shiyou University, China Belief Change/Belief Revision Eduardo Fermé, University of Madeira, Portugal Marcelo Falappa, Universidad Nacional del Sur, Argentina Pavlos Peppas, Patras University, Greece Back |
| © 2005–2024 College Publications / VFH webmaster |