Annals of Mathematics and Artificial Intelligence

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

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

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

External Links