Volume 53, Numbers 1-4, August 2008

• 
  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

last updated on Sat May 25 05:48:53 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page