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

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 -