Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Annals of Mathematics and Artificial Intelligence

Issue 1-4/1999

Content (7 Articles)

Editorial

Jürgen Dix

Implicates and reduction techniques for temporal logics

I.P. de Guzmán, M. Ojeda‐Aciego, A. Valverde

Persistence and minimality in epistemic logic

Wiebe van der Hoek, Jan Jaspars, Elias Thijsse

Contrary‐to‐duty reasoning with preference‐based dyadic obligations

Leendert van der Torre, Yao‐Hua Tan

On the intertranslatability of non‐monotonic logics

Tomi Janhunen

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

Feb 99
Issue: 1-4/1999
Jul 99
Issue: 1-2/1999

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits