conftrace_

stable model

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logic programming (7) answer set programming (3) stable model semantics (2) epistemic logic (2) automated reasoning (2) knowledge representation (2) equilibrium logic (1) projective strong equivalence (1) unsatisfiable core (1) formal semantics (1)

Papers

A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026 Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract) IJCAI 2024 Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023 Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs IJCAI 2023 Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract) IJCAI 2021 Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020 On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020 Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017 Unsatisfiable Core Shrinking for Anytime Answer Set Optimization IJCAI 2017