External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 27, Issue 1-4

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