Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change.

Sylvie Doutre Andreas Herzig Laurent Perrussel

Published in: CLAR (2018)

Keyphrases

abstract argumentation
dynamic logic
reasoning about actions
knowledge base
reasoning mechanisms
theorem proving
machine learning
artificial intelligence
cooperative
lower bound
expert systems
np hard
modal logic
imperative programs