Skip to main content
SpringerLink
Log in
Book cover

Correct Reasoning

Essays on Logic-Based AI in Honour of Vladimir Lifschitz

  • Book
  • © 2012

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (39 chapters)

  1. Front Matter

    Download chapter PDF

  2. To Vladimir Lifschitz on His 65th Birthday

    • Jack Minker
    Pages 1-13

  3. Vladimir Lifschitz — A Youth at 65

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

  4. A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions

    • Marcello Balduccini
    Pages 24-39

  5. The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL

    • Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman
    Pages 40-56

  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

  13. Considerations on Belief Revision in an Action Theory

    • James Delgrande
    Pages 164-177

  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

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation