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

About this book

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-30743-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-30742-3
  • Online ISBN 978-3-642-30743-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book