conftrace_

stable revision

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fixpoint semantics (1) approximation fixpoint theory (1) nondeterministic semantics (1) disjunctive logic programming (1) disjunctive logic program (1) non-monotonic reasoning (1) knowledge base (1)

Papers

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025