Annals of Mathematics and Artificial Intelligence, Volume 46

Volume 46, Number 1-2, February 2006

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

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

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