Volume 53,
Numbers 1-4,
August 2008
Logic in AI:
A Special Issue Dedicated to Victor W. Marek on the Occasion of His 65th birthday
- Michael Kaminski, Miroslaw Truszczynski:
Preface.
1-3
- Jeffrey B. Remmel:
My work with Victor Marek: a mathematician looks at answer set programming.
5-16
- Miroslaw Truszczynski:
My six encounters with Victor Marek - a personal account.
17-20
- Alexander Bochman:
Default logic generalized and simplified.
21-49
- Nils Bulling, Wojciech Jamroga, Jürgen Dix:
Reasoning about temporal properties of rational play.
51-114
- Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer:
Exploiting conjunctive queries in description logic programs.
115-152
- Melvin Fitting:
Justification logics, logics of knowledge, and conservativity.
153-167
- Enrico Giunchiglia, Nicola Leone, Marco Maratea:
On the relation among answer set solvers.
169-204
- Michael Kaminski:
A non-preferential semantics of non-monotonic modal logic.
205-223
- Johann A. Makowsky:
From Hilbert's program to a logic tool box.
225-250
- Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang:
Integrating answer set programming and constraint logic programming.
251-287
- Anil Nerode, Jeffrey B. Remmel:
Consistency properties and set based logic programming.
289-311
- Ilkka Niemelä:
Stable models and difference logic.
313-329
- Miroslaw Truszczynski, Stefan Woltran:
Hyperequivalence of logic programs with respect to supported models.
331-365
Copyright © Mon Nov 2 21:24:20 2009
by Michael Ley (ley@uni-trier.de)