Logics provide a formal basis, and key descriptive notation, for the study and dev- opment of applications and systems in Arti?cial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Arti?cial Intelligence (or Journees Europeennes 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 organised biennially, with - glish as of?cial language, and with proceedings published in Springer s Lecture Notes in Arti?cial Intelligence. Previousmeetingstookplace in Roscoff, France(1988), Ams- terdam, Netherlands(1990), Berlin, Germany(1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl, Germany (1998), Malaga, Spain (2000), Cosenza, Italy (2002), and Lisbon, Portugal (2004). The increasing interest in this forum, its international level with growing parti- pation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI. JELIA 2006constitutedtheTenthInternationalConferenceonLogicsinArti?cial Intelligence, and was held in Liverpool (UK) in September 2006. As with previous JELIA conf- ences, the aim of JELIA 2006 was to bring together active researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature. We received a total of 96 submissions, comprising 77 regular papers and 19 tool - scriptions.qA problem in many formalisms for reasoning about multi-agent systems, like ATL or PDL, is the inability to express that a certain complex action (as in PDL), ... However, in so called STIT-logics, this is exactly the main operator: seeing to it that a certain condition is achieved. ... 69a81, 2006. c Springer-Verlag Berlin Heidelberg 2006 from  in that we introduce epistemic notions in a A STIT- Extension of ATL.
|Title||:||Logics in Artificial Intelligence|
|Publisher||:||Springer Science & Business Media - 2006-09-13|