Ausgabe 1-4/1999
Inhalt (7 Artikel)
Implicates and reduction techniques for temporal logics
I.P. de Guzmán, M. Ojeda‐Aciego, A. Valverde
Contrary‐to‐duty reasoning with preference‐based dyadic obligations
Leendert van der Torre, Yao‐Hua Tan
Propositional lower bounds: Algorithms and complexity
Marco Cadoli, Luigi Palopoli, Francesco Scarcello
A model and a first analysis of distributed‐search contraction‐based strategies
Maria Paola Bonacina