Infinity in Logic and Computation International Conference, ILC
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa,
- PDF / 3,245,834 Bytes
- 150 Pages / 430 x 660 pts Page_size
- 53 Downloads / 167 Views
5489
Edited by R. Goebel, J. Siekmann, and W. Wahlster
Subseries of Lecture Notes in Computer Science FoLLI Publications on Logic, Language and Information Editors-in-Chief Luigia Carlucci Aiello, University of Rome "La Sapienza", Italy Michael Moortgat, University of Utrecht, The Netherlands Maarten de Rijke, University of Amsterdam, The Netherlands
Editorial Board Carlos Areces, INRIA Lorraine, France Nicholas Asher, University of Texas at Austin, TX, USA Johan van Benthem, University of Amsterdam, The Netherlands Raffaella Bernardi, Free University of Bozen-Bolzano, Italy Antal van den Bosch, Tilburg University, The Netherlands Paul Buitelaar, DFKI, Saarbrücken, Germany Diego Calvanese, Free University of Bozen-Bolzano, Italy Ann Copestake, University of Cambridge, United Kingdom Robert Dale, Macquarie University, Sydney, Australia Luis Fariñas, IRIT, Toulouse, France Claire Gardent, INRIA Lorraine, France Rajeev Goré, Australian National University, Canberra, Australia Reiner Hähnle, Chalmers University of Technology, Göteborg, Sweden Wilfrid Hodges, Queen Mary, University of London, United Kingdom Carsten Lutz, Dresden University of Technology, Germany Christopher Manning, Stanford University, CA, USA Valeria de Paiva, Palo Alto Research Center, CA, USA Martha Palmer, University of Pennsylvania, PA, USA Alberto Policriti, University of Udine, Italy James Rogers, Earlham College, Richmond, IN, USA Francesca Rossi, University of Padua, Italy Yde Venema, University of Amsterdam, The Netherlands Bonnie Webber, University of Edinburgh, Scotland, United Kingdom Ian H. Witten, University of Waikato, New Zealand
Margaret Archibald Vasco Brattka Valentin Goranko Benedikt Löwe (Eds.)
Infinity in Logic and Computation International Conference, ILC 2007 Cape Town, South Africa, November 3-5, 2007 Revised Selected Papers
13
Series Editors Randy Goebel, University of Alberta, Edmonton, Canada Jörg Siekmann, University of Saarland, Saarbrücken, Germany Wolfgang Wahlster, DFKI and University of Saarland, Saarbrücken, Germany Volume Editors Margaret Archibald Vasco Brattka University of Cape Town Department of Mathematics and Applied Mathematics Rondebosch 7701, South Africa E-mail: {margaret.archibald, vasco.brattka}@uct.ac.za Valentin Goranko Technical University of Denmark, Informatics and Mathematical Modeling Richard Petersens Plads, 2800 Kongens Lyngby, Denmark E-mail: [email protected] Benedikt Löwe Universiteit van Amsterdam, Institute for Logic, Language and Computation Postbus 94242, 1090 GE Amsterdam, The Netherlands E-mail: [email protected]
Library of Congress Control Number: 2009936649
CR Subject Classification (1998): I.2, F.1, F.2.1-2, F.4.1, G.1.0 LNCS Sublibrary: SL 7 – Artificial Intelligence ISSN ISBN-10 ISBN-13
0302-9743 3-642-03091-2 Springer Berlin Heidelberg New York 978-3-642-03091-8 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-
Data Loading...
