An Argumentation Framework of Reasoning about Actions and Change.

Antonis C. Kakas Rob Miller Francesca Toni

Published in: LPNMR (1999)

Keyphrases

reasoning about actions and change
event calculus
domain description
situation calculus
temporal reasoning
deductive databases
partially ordered
reasoning tasks
transitive closure
domain specific knowledge
argumentation frameworks
expressive power
representation language
domain independent
temporal information