conftrace_

disjunctive logic program

3 papers

Explore in graph

Also known as

DLP

Co-occurring keywords · papers mentioning both

non-monotonic reasoning (2) answer set semantics (1) inference semantics (1) minimal model (1) random satisfiability (1) random formula (1) random boolean formula (1) fixpoint semantics (1) approximation fixpoint theory (1) stable revision (1)

Papers

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025 Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) IJCAI 2020 Generating Hard Random Boolean Formulas and Disjunctive Logic Programs IJCAI 2017