文档介绍：Lecture Notes in Artificial Intelligence 3229
Edited by J. G. Carbonell and J. Siekmann
Subseries of Lecture Notes puter Science
This page intentionally left blank
José Júlio Alferes João Leite (Eds.)
Logics in
Artificial Intelligence
9th European Conference, JELIA 2004
Lisbon, Portugal, September 27-30, 2004
Proceedings
Springer
eBook ISBN: 3-540-30227-1
Print ISBN: 3-540-23242-7
©2005 Springer Science + Business Media, Inc.
Print ©2004 Springer-Verlag
Berlin Heidelberg
All rights reserved
No part of this eBook may be reproduced or transmitted in any form or by any means, electronic,
mechanical, recording, or otherwise, without written consent from the Publisher
Created in the United States of America
Visit Springer's eBookstore at: http://ebooks.
and the Springer Global Website Online at:
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 to-
day, this claim is stronger than ever. The European Conference on Logics in
Artificial Intelligence (or Journées Européennes 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 anized 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), Évora, Portugal (1996),
Dagstuhl, Germany (1998), Málaga, 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