Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2012

Correct Reasoning

Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Editors:

  1. Esra Erdem

    1. Faculty of Engineering and Natural Science, Sabanci University, Tuzla, Turkey

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joohyung Lee

    1. School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Yuliya Lierler

    1. Department of Computer Science, University of Kentucky, Lexington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. David Pearce

    1. Department of Artificial Intelligence, Politechnical University of Madrid, Boadilla del Monte, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • State-of-the-art report

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (39 chapters)

  1. Front Matter

    PDF

  3. Vladimir Lifschitz — A Youth at 65

    • Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler et al.
    Pages 14-23

  6. Parameterized Splitting: A Simple Modification-Based Approach

    • Ringo Baumann, Gerhard Brewka, Wolfgang Dvořák, Stefan Woltran
    Pages 57-71

  7. From Primal Infon Logic with Individual Variables to Datalog

    • Nikolaj Bjørner, Guido de Caso, Yuri Gurevich
    Pages 72-86

  8. Here and There among Logics for Logic Programming

    • Alexander Bochman
    Pages 87-101

  9. Causal Logic Programming

    • Pedro Cabalar
    Pages 102-116

  10. On the Interaction of Existential Rules and Equality Constraints in Ontology Querying

    • Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
    Pages 117-133

  11. Extending Action Language \(\mathcal{C}+\) by Formalizing Composite Actions

    • Xiaoping Chen, Guoqiang Jin, Fangkai Yang
    Pages 134-148

  12. Strong Equivalence of RASP Programs

    • Stefania Costantini, Andrea Formisano, David Pearce
    Pages 149-163

  14. Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs

    • Marc Denecker, Maurice Bruynooghe, Joost Vennekens
    Pages 178-194

  15. Privacy Preservation Using Multi-context Systems and Default Logic

    • Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
    Pages 195-210

  16. Simulating Production Rules Using ACTHEX

    • Thomas Eiter, Cristina Feier, Michael Fink
    Pages 211-228

  17. Applications of Action Languages in Cognitive Robotics

    • Esra Erdem, Volkan Patoglu
    Pages 229-246

  18. The Intelligent Grounder of DLV

    • Wolfgang Faber, Nicola Leone, Simona Perri
    Pages 247-264

  19. Bi-state Logic

    • Luis Fariñas del Cerro, David Pearce, Agustín Valverde
    Pages 265-278

  20. An Equational Approach to Logic Programming

    • Dov M. Gabbay
    Pages 279-295
Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Faculty of Engineering and Natural Science, Sabanci University, Tuzla, Turkey

    Esra Erdem

  • School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, USA

    Joohyung Lee

  • Department of Computer Science, University of Kentucky, Lexington, USA

    Yuliya Lierler

  • Department of Artificial Intelligence, Politechnical University of Madrid, Boadilla del Monte, Spain

    David Pearce

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation