Labelled Deduction

Vincent Balat is a PhD student in the computer science department of the Ecole Normale Superieure de Paris, France Matteo Baldoni is a researcher at the Dipartimento di Informatica at the Universita degli Studi di Torino, Italy David Basin is a full professor at the Institute for Computer Science of the Albert-Ludwigs-University of Freiburg, Germany Bernhard Beckert is a researcher at the Department of Computer Science, University of Karlsruhe, Germany Patrick Blackburn is a lecturer at the Department of Computational Linguistics, University of Saarland, Germany Krysia Broda is a senior lecturer in the Department of Computing at Imperial College, London, UK Serenella Cerrito is an assistant professor at the Department of Computer Science at the University of Paris-Sud, France Marta Cialdea Mayer is an associate professor at the University "Roma Tre", Italy Marcello D'Agostino is an assistant professor at the Department of Human Sciences of the University of Ferrara, Italy Thom Fruhwirth is an assistant professor at the Ludwig-Maximilians-University of Munich, Germany Dov M. Gabbay is a full professor at the Department of Computer Science of King's College, London, UK Didier Galmiche is an assistant professor at the department of Computer Science of University Henri Poincare, Nancy, France Guido Governatori is a research fellow in the School of Computing and Information Technology at Griffith University, Brisbane, Australia Reiner Hahnle is an assistant professor at the Department of Computer Science, University of Karlsruhe, Germany Felip Manya is an assistant professor at the Department of Computer Science, University of Lleida, Spain Maarten Marx teaches at the Department of Artificial Intelligence of the Free University, Amsterdam, The Netherlands Sean Matthews is currently employed by the software consultancy Logica GmbH, Frankfurt am Main, Germany Szabolcs Mikulas is a research fellow at the Department of Computer Science at King's College, London, UK Alessandra Raffaeta is a PhD student at the Computer Science Department of the University of Pisa, Italy Stefan Schlobach is a research associate at the Department of Computer Science at King's College, London, UK Leendert van der Torre is a researcher at the Department of Artificial Intelligence of the Vrije Universiteit in Amsterdam, the Netherlands Luca Vigano is an assistant professor at the Institute for Computer Science of the Albert-Ludwigs-University of Freiburg, GermanyBasin, David is the author of 'Labelled Deduction' with ISBN 9780792362371 and ISBN 0792362373.