Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

✍ Scribed by Jack Minker (auth.), Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2012
• Tongue: English
• Leaves: 601
• Series: Lecture Notes in Computer Science 7265
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
To Vladimir Lifschitz on His 65th Birthday....Pages 1-13
Vladimir Lifschitz — A Youth at 65....Pages 14-23
A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions....Pages 24-39
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL....Pages 40-56
Parameterized Splitting: A Simple Modification-Based Approach....Pages 57-71
From Primal Infon Logic with Individual Variables to Datalog....Pages 72-86
Here and There among Logics for Logic Programming....Pages 87-101
Causal Logic Programming....Pages 102-116
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying....Pages 117-133
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions....Pages 134-148
Strong Equivalence of RASP Programs....Pages 149-163
Considerations on Belief Revision in an Action Theory....Pages 164-177
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs....Pages 178-194
Privacy Preservation Using Multi-context Systems and Default Logic....Pages 195-210
Simulating Production Rules Using ACTHEX....Pages 211-228
Applications of Action Languages in Cognitive Robotics....Pages 229-246
The Intelligent Grounder of DLV ....Pages 247-264
Bi-state Logic....Pages 265-278
An Equational Approach to Logic Programming....Pages 279-295
Gearing Up for Effective ASP Planning....Pages 296-310
Toward Question Answering in Travel Domains....Pages 311-326
Algorithms for Solving Satisfiability Problems with Qualitative Preferences....Pages 327-344
Oscillating Behavior of Logic Programs....Pages 345-362
Applying Visible Strong Equivalence in Answer-Set Program Transformations....Pages 363-379
From Turner’s Logic of Universal Causation to the Logic of GK....Pages 380-385
Lifschitz and Circumscription....Pages 386-389
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity....Pages 390-404
Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming....Pages 405-421
The Truth about Defaults....Pages 422-435
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming....Pages 436-453
Declarative Distributed Computing....Pages 454-470
Disjunctive Programs with Set Constraints....Pages 471-486
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas....Pages 487-491
Stepwise Debugging of Description-Logic Programs....Pages 492-508
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains....Pages 509-526
A Language for Default Reasoning about Actions....Pages 527-542
Connecting First-Order ASP and the Logic FO(ID) through Reducts....Pages 543-559
A New Incarnation of Action Language H....Pages 560-575
Well-Supported Semantics for Logic Programs with Generalized Rules....Pages 576-591
Back Matter....Pages -

✦ Subjects

Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters