Annals of Mathematics and Artificial Intelligence, Volume 27

Volume 27, Numbers 1-4, 1999

• Jürgen Dix: Selected Papers of Logic in AI - Editorial. 1-2
• Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and reduction techniques for temporal logics. 3-23
• Wiebe van der Hoek, Jan Jaspars, Elias Thijsse: Persistence and minimality in epistemic logic. 25-47
• Leendert W. N. van der Torre, Yao-Hua Tan: Contrary-to-duty reasoning with preference-based dyadic obligations. 49-78
• Tomi Janhunen: On the intertranslatability of non-monotonic logics. 79-128
• Marco Cadoli, Luigi Palopoli, Francesco Scarcello: Propositional lower bounds: Algorithms and complexity. 129-148
• Maria Paola Bonacina: A model and a first analysis of distributed-search contraction-based strategies. 149-199