conftrace_

epistemic logic program

5 papers

Explore in graph

Also known as

ELP

Co-occurring keywords · papers mentioning both

answer set programming (4) world view (2) epistemic logic (2) logic programming (2) complexity analysis (2) strong equivalence (1) rule subsumption (1) tautological rule (1) logical characterization (1) candidate elimination (1)

Papers

Solving Epistemic Logic Programs Using Generate-and-Test with Propagation AAAI 2025 Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024 Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) IJCAI 2022 Structural Decompositions of Epistemic Logic Programs AAAI 2020 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019