Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings: 3229 (Lecture Notes in Computer Science, 3229) - Softcover

Softcover

ISBN 10: 3540232427 ISBN 13: 9783540232421

Publisher: Springer, 2004

Synopsis

Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference on Logics in Arti?cial Intelligence (or Journ´ ees Europ´ eennes sur la Logique en Intelligence Arti?cielle, 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 ?eld. Since then, JELIA has been organized biennially, with English as its o?cial language, previous meetings taking place in Rosco?, France (1988), Amsterdam, Nether- ´ lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl,Germany(1998),M´ alaga,Spain(2000)andCosenza,Italy(2002). The increasinginterestinthisforum,itsinternationallevelwithgrowingparticipation 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 arti?cial 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 presentationof52refereedtechnicalarticlesselectedbytheProgramCommittee among the 144 that were submitted, a number which in our opinion clearly indicates that the research area of logics in AI is one with a great and increasing interest.

About this title

Synopsis

This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.

Edition details

• Publisher: Springer
• Publication date: 2004
• Language: English
• ISBN 10: 3540232427
• ISBN 13: 9783540232421
• Binding: Paperback
• Number of pages: 760
• Editor: Alferes Jose Julio, Leite Joao