default search action
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.