0004-3702

Artificial Intelligence (AI) - Volume 248 论文列表

本期论文列表
Editorial Board

Characterizing causal action theories and their implementations in answer set programming

Efficiency and complexity of price competition among single-product vendors

How many diagnoses do we need?

Commonsense reasoning about containers using radically incomplete information

On the logical properties of the nonmonotonic description logic DLN

On the complexity of the partner units decision problem

From model checking to equilibrium checking: Reactive modules for rational verification