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