0004-3702

Artificial Intelligence (AI) - Volume 74, Issue 2 论文列表

本期论文列表
Efficient algorithms for qualitative reasoning about time

Tractable reasoning via approximation

Naming and identity in epistemic logic part II: a first-order logic for naming

Nested abnormality theories

On the computational complexity of querying bounds on differences constraints

Levesque's axiomatization of only knowing is incomplete

Sloman's view of Gödel's sentence

Announcement

Forthcoming papers

Author index—Volume 74 (1994)