Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus.

Published in: J. Log. Comput. (2001)

Keyphrases

formal model
situation calculus
argumentation schemes
event calculus
security patterns
dynamic environments
modal logic
initial state
reasoning about actions
provably correct
logical language
argumentation theory
distributed systems
sensing actions
argumentation systems
blocks world
action theories