conftrace_

world view

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

epistemic logic program (2) answer set programming (2) quantitative reasoning (1) complexity analysis (1)

Papers

Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024 Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) IJCAI 2022