Author:
Publication: Artificial Intelligence
A general semi-structured formalism for computational argumentation: Definition, properties, and exa
Extracting mutual exclusion invariants from lifted temporal planning domains