Annals of Mathematics and Artificial Intelligence, Volume 46

Volume 46, Number 1-2, February 2006

• Preface. 1-3
  Electronic Edition (link) BibTeX
• Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe:
  Computational methods for database repair by signed formulae. 4-37
  Electronic Edition (link) BibTeX
• Stephen J. Hegner:
  The complexity of embedded axiomatization for a class of closed database views. 38-97
  Electronic Edition (link) BibTeX
• János Demetrovics, Gyula O. H. Katona, Dezsö Miklós:
  On the security of individual data. 98-113
  Electronic Edition (link) BibTeX
• Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
  Functional and multivalued dependencies in nested databases generated by record and list constructor. 114-164
  Electronic Edition (link) BibTeX
• Gösta Grahne, Alex Thomo:
  Regular path queries under approximate semantics. 165-190
  Electronic Edition (link) BibTeX
• Alexander V. Lyaletski:
  Sequent forms of Herbrand theorem and their applications. 191-230
  Electronic Edition (link) BibTeX

Volume 46, Number 3, March 2006

• Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat:
  Guest editorial: Temporal representation and reasoning. 231-234
  Electronic Edition (link) BibTeX
• Alexander Bolotov, Artie Basukoski:
  A clausal resolution method for branching-time logic ECTL⁺. 235-263
  Electronic Edition (link) BibTeX
• Alessandro Artale:
  Reasoning on temporal class diagrams: Undecidability results. 265-288
  Electronic Edition (link) BibTeX
• Laura Giordano, Alberto Martelli:
  Tableau-based automata construction for dynamic linear time temporal logic*. 289-315
  Electronic Edition (link) BibTeX
• Lavinia Egidi, Paolo Terenziani:
  A mathematical framework for the semantics of symbolic languages representing periodic time. 317-347
  Electronic Edition (link) BibTeX
• Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
  An algebraic framework for temporal attribute characteristics. 349-374
  Electronic Edition (link) BibTeX

Volume 46, Number 4, April 2006

• Mikhail Prokopenko:
  A preferential semantics for causal reasoning about action. 375-413
  Electronic Edition (link) BibTeX
• Roie Zivan, Amnon Meisels:
  Message delay and DisCSP search algorithms. 415-439
  Electronic Edition (link) BibTeX