Author:
Publication: Artificial Intelligence
Characterizing causal action theories and their implementations in answer set programming
How many diagnoses do we need?