Annals of Mathematics and Artificial Intelligence, Volume 50

Volume 50, Numbers 1-2, June 2007

• Jürgen Dix, Stephen J. Hegner:
  Preface. 1-3
  
• Alessandro Artale, Christine Parent, Stefano Spaccapietra:
  Evolving objects in temporal information systems. 5-38
  
• Joachim Biskup, Piero A. Bonatti:
  Controlled query evaluation with open queries for a decidable relational submodel. 39-77
  
• Jan Chomicki:
  Database querying under changing preferences. 79-109
  
• Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
  Arity and alternation: a proper hierarchy in higher order logics. 111-141
  
• Gianluigi Greco:
  Solving abduction by computing joint explanations. 143-194
  
• Sven Hartmann, Henning Köhler, Sebastian Link:
  Full hierarchical dependencies in fixed and undetermined universes. 195-226
  

Volume 50, Numbers 3-4, August 2007

• Michael Fisher, Wiebe van der Hoek:
  Logics in AI: post-proceedings JELIA06 (Editorial). 227-229
  
• Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
  Decision procedures for extensions of the theory of arrays. 231-254
  
• Yulia Korukhova:
  An approach to automatic deductive synthesis of functional programs. 255-271
  
• Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
  Comparing action descriptions based on semantic preferences. 273-304
  
• Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
  Partial equilibrium logic. 305-331
  
• Francesco Calimeri, Susanna Cozza, Giovambattista Ianni:
  External sources of knowledge and value invention in logic programming. 333-361
  
• Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir:
  An introduction to fuzzy answer set programming. 363-388
  
• Ofer Arieli, Marc Denecker, Maurice Bruynooghe:
  Distance semantics for database repair. 389-415
  
• Emad Saad, Enrico Pontelli:
  A new approach to hybrid probabilistic logic programs. 417-418