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