Splitting an operator
From MaRDI portal
Publication:5277764
DOI10.1145/1183278.1183284zbMath1367.68295OpenAlexW2080633262MaRDI QIDQ5277764
Marc Denecker, Joost Vennekens, David Gilis
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1183278.1183284
Related Items (10)
On Well-Founded Set-Inductions and Locally Monotone Operators ⋮ Safe inductions and their applications in knowledge representation ⋮ An analysis of the equational properties of the well-founded fixed point ⋮ Equational Properties of Stratified Least Fixed Points (Extended Abstract) ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Fixpoint semantics for active integrity constraints ⋮ Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory ⋮ A fixed point theorem for non-monotonic functions ⋮ Inductive situation calculus
This page was built for publication: Splitting an operator
