Annals of Mathematics and Artificial Intelligence, Volume 53

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