A Generalized Notion of Consistency with Applications to Formal Argumentation.

Pietro Baroni Federico Cerutti Massimiliano Giacomin

Published in: COMMA (2022)

Keyphrases

formal model
mathematical theory
argumentation frameworks
ai law
defeasible logic programming
argumentation schemes
argumentation theory
formal methods
consistency checking
defeasible reasoning
argumentation semantics
theoretical framework
formal specification
path consistency