Kettle logic in abstract argumentation.

Timotheus Kampik

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

Keyphrases

abstract argumentation
argumentation theory
abstract argumentation frameworks
logic programming
theorem proving
modal logic
argumentation frameworks
preference relations
automated reasoning
classical logic
desirable properties
predicate logic
asynchronous circuits