Dung's semantics satisfy attack removal monotonicity.

Leila Amgoud Srdjan Vesic

Published in: CoRR (2020)

Keyphrases

abstract argumentation
abstract argumentation frameworks
argumentation semantics
argumentation frameworks
theorem proving
logic programming
neural network
normal logic programs
formal semantics
np hard
decision problems
preference relations