An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic.

Antoine Martina Alexander Steen

Published in: CoRR (2023)

Keyphrases

higher order logic
higher order
conditional logic
theorem prover
logical framework
belief revision
inference rules
machine learning
high level
similarity measure
expert systems
probabilistic model
default reasoning
argumentation systems