conftrace_

sequent calculus

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

non-monotonic reasoning (3) logical argumentation (2) stable model semantics (1) proof system (1) input output logic (1) paraconsistent reasoning (1) constructive method (1) equilibrium logic (1) modal logic (1) defeasible reasoning (1)

Papers

A Sequent Calculus for Answer Set Entailment IJCAI 2025 Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents IJCAI 2024 Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation AAAI 2024 Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024 Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation IJCAI 2022