Book Volume 7265 2012

Correct Reasoning

Essays on Logic-Based AI in Honour of Vladimir Lifschitz


ISBN: 978-3-642-30742-3 (Print) 978-3-642-30743-0 (Online)

Table of contents (39 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-13

    To Vladimir Lifschitz on His 65th Birthday

  3. Chapter

    Pages 14-23

    Vladimir Lifschitz — A Youth at 65

  4. Chapter

    Pages 24-39

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

  5. Chapter

    Pages 40-56

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

  6. Chapter

    Pages 57-71

    Parameterized Splitting: A Simple Modification-Based Approach

  7. Chapter

    Pages 72-86

    From Primal Infon Logic with Individual Variables to Datalog

  8. Chapter

    Pages 87-101

    Here and There among Logics for Logic Programming

  9. Chapter

    Pages 102-116

    Causal Logic Programming

  10. Chapter

    Pages 117-133

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

  11. Chapter

    Pages 134-148

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

  12. Chapter

    Pages 149-163

    Strong Equivalence of RASP Programs

  13. Chapter

    Pages 164-177

    Considerations on Belief Revision in an Action Theory

  14. Chapter

    Pages 178-194

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

  15. Chapter

    Pages 195-210

    Privacy Preservation Using Multi-context Systems and Default Logic

  16. Chapter

    Pages 211-228

    Simulating Production Rules Using ACTHEX

  17. Chapter

    Pages 229-246

    Applications of Action Languages in Cognitive Robotics

  18. Chapter

    Pages 247-264

    The Intelligent Grounder of DLV

  19. Chapter

    Pages 265-278

    Bi-state Logic

  20. Chapter

    Pages 279-295

    An Equational Approach to Logic Programming

  21. Chapter

    Pages 296-310

    Gearing Up for Effective ASP Planning

previous Page of 2