Correct Reasoning

Essays on Logic-Based AI in Honour of Vladimir Lifschitz

  • Esra Erdem
  • Joohyung Lee
  • Yuliya Lierler
  • David Pearce

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

Table of contents

  1. Front Matter
  2. Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler et al.
    Pages 14-23
  3. Ringo Baumann, Gerhard Brewka, Wolfgang Dvořák, Stefan Woltran
    Pages 57-71
  4. Nikolaj Bjørner, Guido de Caso, Yuri Gurevich
    Pages 72-86
  5. Alexander Bochman
    Pages 87-101
  6. Pedro Cabalar
    Pages 102-116
  7. Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
    Pages 117-133
  8. Xiaoping Chen, Guoqiang Jin, Fangkai Yang
    Pages 134-148
  9. Stefania Costantini, Andrea Formisano, David Pearce
    Pages 149-163
  10. Marc Denecker, Maurice Bruynooghe, Joost Vennekens
    Pages 178-194
  11. Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
    Pages 195-210
  12. Thomas Eiter, Cristina Feier, Michael Fink
    Pages 211-228
  13. Esra Erdem, Volkan Patoglu
    Pages 229-246
  14. Wolfgang Faber, Nicola Leone, Simona Perri
    Pages 247-264
  15. Luis Fariñas del Cerro, David Pearce, Agustín Valverde
    Pages 265-278
  16. Dov M. Gabbay
    Pages 279-295
  17. Martin Gebser, Roland Kaufmann, Torsten Schaub
    Pages 296-310
  18. Yana Todorova, Michael Gelfond
    Pages 311-326
  19. Enrico Giunchiglia, Marco Maratea
    Pages 327-344
  20. Katsumi Inoue, Chiaki Sakama
    Pages 345-362
  21. Neelakantan Kartha
    Pages 386-389
  22. Hector J. Levesque, Gerhard Lakemeyer
    Pages 422-435
  23. Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck Le
    Pages 454-470
  24. Victor W. Marek, Jeffrey B. Remmel
    Pages 471-486
  25. Johannes Oetsch, Jörg Pührer, Hans Tompits
    Pages 492-508
  26. Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond
    Pages 509-526
  27. Hannes Strass, Michael Thielscher
    Pages 527-542
  28. Sandeep Chintabathina, Richard Watson
    Pages 560-575
  29. Jia-Huai You, Yi-Dong Shen, Kewen Wang
    Pages 576-591
  30. Back Matter

About this book


This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.


approximate uniqueness infon logic modal logic non-monotonic reasoning production rules

Editors and affiliations

  • Esra Erdem
    • 1
  • Joohyung Lee
    • 2
  • Yuliya Lierler
    • 3
  • David Pearce
    • 4
  1. 1.Faculty of Engineering and Natural ScienceSabanci UniversityTuzlaTurkey
  2. 2.School of Computing, Informatics and Decision Systems EngineeringArizona State UniversityTempeUSA
  3. 3.Department of Computer ScienceUniversity of KentuckyLexingtonUSA
  4. 4.Department of Artificial IntelligencePolitechnical University of MadridBoadilla del MonteSpain

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-30742-3
  • Online ISBN 978-3-642-30743-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software