Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce (Eds.):
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz.
Lecture Notes in Computer Science 7265 Springer 2012, ISBN 978-3-642-30742-3 
- Jack Minker:
To Vladimir Lifschitz on His 65th Birthday.
1-13
- Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan:
Vladimir Lifschitz - A Youth at 65.
14-23
- Marcello Balduccini:
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions.
24-39
- Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman:
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL.
40-56
- Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran:
Parameterized Splitting: A Simple Modification-Based Approach.
57-71
- Nikolaj Bjørner, Guido de Caso, Yuri Gurevich:
From Primal Infon Logic with Individual Variables to Datalog.
72-86
- Alexander Bochman:
Here and There among Logics for Logic Programming.
87-101
- Pedro Cabalar:
Causal Logic Programming.
102-116
- Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris:
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying.
117-133
- Xiaoping Chen, Guoqiang Jin, Fangkai Yang:
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions.
134-148
- Stefania Costantini, Andrea Formisano, David Pearce:
Strong Equivalence of RASP Programs.
149-163
- James P. Delgrande:
Considerations on Belief Revision in an Action Theory.
164-177
- Marc Denecker, Maurice Bruynooghe, Joost Vennekens:
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.
178-194
- Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian:
Privacy Preservation Using Multi-context Systems and Default Logic.
195-210
- Thomas Eiter, Cristina Feier, Michael Fink:
Simulating Production Rules Using ACTHEX.
211-228
- Esra Erdem, Volkan Patoglu:
Applications of Action Languages in Cognitive Robotics.
229-246
- Wolfgang Faber, Nicola Leone, Simona Perri:
The Intelligent Grounder of DLV.
247-264
- Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
Bi-state Logic.
265-278
- Dov M. Gabbay:
An Equational Approach to Logic Programming.
279-295
- Martin Gebser, Roland Kaufmann, Torsten Schaub:
Gearing Up for Effective ASP Planning.
296-310
- Yana Todorova, Michael Gelfond:
Toward Question Answering in Travel Domains.
311-326
- Enrico Giunchiglia, Marco Maratea:
Algorithms for Solving Satisfiability Problems with Qualitative Preferences.
327-344
- Katsumi Inoue, Chiaki Sakama:
Oscillating Behavior of Logic Programs.
345-362
- Tomi Janhunen, Ilkka Niemelä:
Applying Visible Strong Equivalence in Answer-Set Program Transformations.
363-379
- Jianmin Ji, Fangzhen Lin:
From Turner's Logic of Universal Causation to the Logic of GK.
380-385
- Neelakantan Kartha:
Lifschitz and Circumscription.
386-389
- Vladik Kreinovich:
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity.
390-404
- Joohyung Lee:
Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming.
405-421
- Hector J. Levesque, Gerhard Lakemeyer:
The Truth about Defaults.
422-435
- Yuliya Lierler, Peter Schüller:
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.
436-453
- Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck Le:
Declarative Distributed Computing.
454-470
- Victor W. Marek, Jeffrey B. Remmel:
Disjunctive Programs with Set Constraints.
471-486
- Grigori Mints:
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas.
487-491
- Johannes Oetsch, Jörg Pührer, Hans Tompits:
Stepwise Debugging of Description-Logic Programs.
492-508
- Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond:
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains.
509-526
- Hannes Strass, Michael Thielscher:
A Language for Default Reasoning about Actions.
527-542
- Miroslaw Truszczynski:
Connecting First-Order ASP and the Logic FO(ID) through Reducts.
543-559
- Sandeep Chintabathina, Richard Watson:
A New Incarnation of Action Language H.
560-575
- Jia-Huai You, Yi-Dong Shen, Kewen Wang:
Well-Supported Semantics for Logic Programs with Generalized Rules.
576-591
Last update Sun May 26 00:36:14 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
