JELIA2008

JELIA2008
11th European Conference on Logics in Artificial Intelligence
Start	Sep 28 2008 (iCal)
End	Oct 1 2008
Homepage:	www.jelia.eu/2008
Location
City:	Dresden
Country:	Germany
Important dates
Papers due:	June 2 2008
Notification:	July 7 2008
Camera ready due:	July 20 2008
Event in series JELIA

As the 2008 edition of the biennial JELIA conference series, JELIA 2008 aims at bringing together researchers interested in all aspects of logics in AI, including their theory, applications of both theoretical and practical nature, and systems.

Topics

As its predecessors, JELIA 2008 strives to foster links and facilitate cross-fertilisation of ideas between researchers from various disciplines, between researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in AI. A non-exhaustive list of topics of interest includes:

• Reasoning including deduction, abduction and induction
• Non-monotonic, uncertain, probabilistic reasoning
• Reasoning about situations, actions, and causality
• Belief change, including revision, update, and merging
• Knowledge representation and reasoning
• Classical as well as non-classical logics, including modal, temporal, and spatial logics
• Fuzzy logic
• Description logics
• Logic-based ontology languages
• Theorem proving
• Logic and Constraint Programming
• Answer Set Programming
• Computational complexity and expressiveness of logic-based systems
• Logic-based applications to the Semantic Web
• Logic-based planning and diagnosis
• Logics and multi-agent systems
• Logics in machine learning
• Other applications of logic

Organisers

General chair:

• Steffen Hölldobler, Dresden, Germany

Programme chairs:

• Steffen Hölldobler, Dresden, Germany
• Carsten Lutz, Dresden, Germany
• Heinrich Wansing, Dresden, Germany

Local chair:

• Axel Großmann, Dresden, Germany

Programme committee

• Jose Julio Alferes, Universidade Nova de Lisboa, Caparica, Portugal
• Alessandro Artale, Free University of Bozen-Bolzano, Bozen-Bolzano, Italy
• Chitta Baral, Arizona State University, Tempe, AZ, USA
• Peter Baumgartner, NICTA Canberra, Canberra, Australia
• Alex Bochman, Holon Institute of Technology, Holon, Israel
• Gerhard Brewka, Universität Leipzig, Leipzig, Germany
• Walter Carnielli, Unicamp, Campinas, Brazil
• James P Delgrande, Simon Fraser University, Burnaby, BC, Canada
• Jürgen Dix, TU Clausthal, Clausthal-Zellerfeld, Germany
• Roy Dyckhoff, University of St Andrews, St Andrews, UK
• Michael Fisher, University of Liverpool, Liverpool, UK
• Ulrich Furbach, Universität Koblenz-Landau, Koblenz, Germany
• Michael Gelfond, Texas Tech University, Lubbock, TX, USA
• Rajeev Goré, Australian National University, Canberra, Australia
• Sven Ove Hansson, KTH - Royal Institute of Technology, Stockholm, Sweden
• James Harland, RMIT University, Melbourne, Australia
• Andreas Herzig, IRIT, Université Paul Sabatier, Toulouse, France
• Pascal Hitzler, Universität Karlsruhe, Karlsruhe, Germany
• Wiebe van der Hoek, University of Liverpool, Liverpool, UK
• Tomi Janhunen, Helsinki University of Technology TKK, Helsinki, Finland
• Peter Jonsson, Linköpings Universitet, Linköping, Sweden
• Lluís Godo Lacasa, Consejo Superior de Investigaciones Científicas CSIC, Bellaterra, Spain
• Vladimir Lifschitz, University of Texas, Austin, TX, USA
• John-Jules Meyer, Universiteit Utrecht, Utrecht, Netherlands
• Angelo Montanari, Università degli studi di Udine, Udine, Italy
• Bernhard Nebel, Albert-Ludwigs-Universität Freiburg, Freiburg, Germany
• Ilkka Niemelä, Helsinki University of Technology TKK, Helsinki, Finland
• David Pearce, Universidad Rey Juan Carlos, Móstoles, Spain
• Luís Moniz Pereira, Universidade Nova de Lisboa, Caparica, Portugal
• Henry Prakken, Universiteit Utrecht, Utrecht, Netherlands
• Ruy José G. Barretto de Queiroz, Universidade Federal de Pernambuco, Recife, Brasil
• Francesca Rossi, Università degli Studi di Padova, Padova, Italy
• Torsten Schaub, Universität Potsdam, Potsdam, Germany
• Renate Schmidt, University of Manchester, Manchester, UK
• Lim Yohanes Stefanus, Universitas Indonesia, Jakarta, Indonesia
• Umberto Straccia, ISTI - Institute of Information Science and Technologies, Pisa, Italy
• Michael Thielscher, TU Dresden, Dresden, Germany
• Francesca Toni, Imperial College, London, UK
• Miroslaw Truszczynski, University of Kentucky, Lexington, KY, USA
• Andrei Voronkov, University of Manchester, Manchester, UK
• Toby Walsh, NICTA and University of New South Wales, Sydney, Australia
• Mary-Anne Williams, University of Technology Sydney, Sydney, Australia
• Michael Zakharyaschev, Birkbeck College, London, UK