ASPIC-END: Structured Argumentation with Explanations and Natural Deduction.

Jérémie Dauphin Marcos Cramer

Published in: TAFA (2017)

Keyphrases

natural deduction
inference rules
theorem prover
intuitionistic logic
theorem proving
classical logic
cut elimination
structured data
defeasible reasoning
semi supervised
argumentation semantics
linear time temporal logic
real world
causal models
generating explanations