An executable specification of a formal argumentation protocol
Learning and inferring transportation routines
Argumentation in artificial intelligence