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