conftrace_

strong equivalence

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

answer set programming (3) logic programming (2) computational complexity (2) knowledge representation (2) epistemic logic program (1) rule subsumption (1) tautological rule (1) logic program (1) intensional function (1) qualitative choice logic (1)

Papers

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025 A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024 Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients AAAI 2022 Possibilistic Logic Underlies Abstract Dialectical Frameworks IJCAI 2022 Choice Logics and Their Computational Properties IJCAI 2021 Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019