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

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
  • About this book