Correct Reasoning

Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Editors:

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. No Access

    Book Chapter

    Pages 1-13

    To Vladimir Lifschitz on His 65th Birthday

  3. No Access

    Book Chapter

    Pages 14-23

    Vladimir Lifschitz — A Youth at 65

  4. No Access

    Book Chapter

    Pages 24-39

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

  5. No Access

    Book 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. No Access

    Book Chapter

    Pages 57-71

    Parameterized Splitting: A Simple Modification-Based Approach

  7. No Access

    Book Chapter

    Pages 72-86

    From Primal Infon Logic with Individual Variables to Datalog

  8. No Access

    Book Chapter

    Pages 87-101

    Here and There among Logics for Logic Programming

  9. No Access

    Book Chapter

    Pages 102-116

    Causal Logic Programming

  10. No Access

    Book Chapter

    Pages 117-133

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

  11. No Access

    Book Chapter

    Pages 134-148

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

  12. No Access

    Book Chapter

    Pages 149-163

    Strong Equivalence of RASP Programs

  13. No Access

    Book Chapter

    Pages 164-177

    Considerations on Belief Revision in an Action Theory

  14. No Access

    Book Chapter

    Pages 178-194

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

  15. No Access

    Book Chapter

    Pages 195-210

    Privacy Preservation Using Multi-context Systems and Default Logic

  16. No Access

    Book Chapter

    Pages 211-228

    Simulating Production Rules Using ACTHEX

  17. No Access

    Book Chapter

    Pages 229-246

    Applications of Action Languages in Cognitive Robotics

  18. No Access

    Book Chapter

    Pages 247-264

    The Intelligent Grounder of DLV

  19. No Access

    Book Chapter

    Pages 265-278

    Bi-state Logic

  20. No Access

    Book Chapter

    Pages 279-295

    An Equational Approach to Logic Programming

  21. No Access

    Book Chapter

    Pages 296-310

    Gearing Up for Effective ASP Planning

previous Page of 2