Advertisement

Logics in Artificial Intelligence

12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

  • Tomi Janhunen
  • Ilkka Niemelä
Conference proceedings JELIA 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6341)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6341)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Ofer Arieli, Anna Zamansky
      Pages 11-23
    2. Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
      Pages 24-37
    3. Salem Benferhat, Sylvain Lagrue, Safa Yahi
      Pages 38-50
    4. Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
      Pages 51-63
    5. Giovanni Casini, Umberto Straccia
      Pages 77-90
    6. Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
      Pages 91-103
    7. Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
      Pages 104-116
    8. Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran
      Pages 117-129
    9. Flávio Cruz, Ricardo Rocha
      Pages 130-142
    10. Thomas Eiter, Michael Fink, Antonius Weinzierl
      Pages 143-155
    11. Michael Fink, David Pearce
      Pages 156-168
    12. Martin Gebser, Orkunt Sabuncu, Torsten Schaub
      Pages 169-181
    13. Ricardo Gonçalves, José Júlio Alferes
      Pages 182-194
    14. Mikoláš Janota, Radu Grigore, Joao Marques-Silva
      Pages 195-207
    15. Szymon Klarman, Víctor Gutiérrez-Basulto
      Pages 208-220
    16. Costas D. Koutras, Yorgos Zikos
      Pages 221-233
    17. Markus Krötzsch
      Pages 234-246
    18. Vladimir Lifschitz, Fangkai Yang
      Pages 247-259
    19. Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens
      Pages 260-272
    20. David Pearce, Levan Uridia
      Pages 273-285
    21. Chiaki Sakama, Martin Caminada, Andreas Herzig
      Pages 286-299
    22. Joost Vennekens, Maurice Bruynooghe, Marc Denecker
      Pages 313-325
    23. Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
      Pages 326-338
    24. Zhi Qiang Zhuang, Maurice Pagnucco
      Pages 339-351
  4. System Descriptions

    1. Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
      Pages 352-355
    2. Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller
      Pages 356-359
    3. Martin Gebser, Torsten Grote, Torsten Schaub
      Pages 360-364
    4. Marco Maratea, Francesco Ricca, Pierfrancesco Veltri
      Pages 365-368
    5. Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
      Pages 369-372
  5. Back Matter

About these proceedings

Keywords

AI logic Argumentation Extension algorithms artificial intelligence description logic epistemic logic hybrid logic knowledge knowledge base logic programming machine learning modeling programming satisfiability checking

Editors and affiliations

  • Tomi Janhunen
    • 1
  • Ilkka Niemelä
    • 1
  1. 1.Department of Information and Computer ScienceAalto UniversityAaltoFinland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15675-5
  • Copyright Information Springer-Verlag Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15674-8
  • Online ISBN 978-3-642-15675-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site