Annals of Mathematics and Artificial Intelligence
, Volume 27
Volume 27, Numbers 1-4, 1999
Logics in Artificial Intelligence
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
Copyright ©
Sat May 16 23:50:15 2009 by
Michael Ley
(
ley@uni-trier.de
)