Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
Marcos Cramer, Tom Friese
ASPIC-style structured argumentation frameworks provide a formal basis for reasoning in artificial intelligence by combining internal argument structure with abstract argumentation…
cs.AI2023
Why Not? Explaining Missing Entailments with Evee (Technical Report)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese +2
Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailm…