conftrace_

equilibrium logic

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

non-monotonic reasoning (2) answer set programming (2) projective strong equivalence (1) stable model (1) strong equivalence (1) sequent calculus (1) stable model semantics (1) semantic characterization (1) logic programming (1) model checking (1)

Papers

A Sequent Calculus for Answer Set Entailment IJCAI 2025 Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024 Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020