conftrace_

fixpoint theory

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

algebraic framework (1) constraint logic programming (1) fixpoint semantics (1) approximation fixpoint theory (1) formal semantics (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 A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025