conftrace_

logical argumentation

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sequent calculus (2) non-monotonic reasoning (2) formal argumentation (2) proof system (1) paraconsistent reasoning (1) ranking-based semantics (1) culpability measure (1) argument graph (1) defeasible reasoning (1) argumentation semantics (1)

Papers

Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation AAAI 2024 Ranking-based Argumentation Semantics Applied to Logical Argumentation IJCAI 2023 Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation IJCAI 2022