Logics in Artificial Intelligence 9th European Conference, JELIA 200
- PDF / 6,105,509 Bytes
- 757 Pages / 430 x 660 pts Page_size
- 60 Downloads / 192 Views
Subseries of Lecture Notes in Computer Science
3229
José Júlio Alferes João Leite (Eds.)
Logics in Artificial Intelligence 9th European Conference, JELIA 2004 Lisbon, Portugal, September 27-30, 2004 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jörg Siekmann, University of Saarland, Saarbrücken, Germany Volume Editors José Júlio Alferes João Leite Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Departamento de Informática 2829-516 Caparica, Portugal E-mail: {jja,jleite}@di.fct.unl.pt
Library of Congress Control Number: 2004112842
CR Subject Classification (1998): I.2, F.4.1, D.1.6 ISSN 0302-9743 ISBN 3-540-23242-7 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-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com © Springer-Verlag Berlin Heidelberg 2004 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Protago-TeX-Production GmbH Printed on acid-free paper SPIN: 11320197 06/3142 543210
Preface
Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in artificial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems today, this claim is stronger than ever. The European Conference on Logics in Artificial Intelligence (or Journ´ees Europ´eennes sur la Logique en Intelligence Artificielle, JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as its official language, previous meetings taking place in Roscoff, France (1988), Amsterdam, Nether´ lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl, Germany (1998), M´ alaga, Spain (2000) and Cosenza, Italy (2002). The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality have turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence. The 9th European Conference on Logics in AI, JELIA 2004, took place in Lisbon, Portugal, between the 27th and the 30th of September 2004, and was hosted by the Universidade Nova de Lisboa. Its technical program comprised 3 invited talks, by Francesca Rossi, Franz Baader, and Bernhard Nebel, and the presentation of 52 r
Data Loading...
