conftrace_

algebraic framework

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fixpoint theory (1) fixpoint semantics (1) approximation fixpoint theory (1) logic programming (1) conditional independence (1) knowledge representation (1)

Papers

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025