conftrace_

fixpoint semantics

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

approximation fixpoint theory (2) stable revision (1) nondeterministic semantics (1) disjunctive logic programming (1) disjunctive logic program (1) fixpoint theory (1) algebraic framework (1) logic programming (1) non-monotonic reasoning (1) conditional independence (1)

Papers

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025 An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025