Hex Semantics via Approximation Fixpoint Theory
From MaRDI portal
Publication:2851236
DOI10.1007/978-3-642-40564-8_11zbMath1405.68039OpenAlexW2256752531MaRDI QIDQ2851236
Christian Antić, Thomas Eiter, Michael Fink
Publication date: 10 October 2013
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_11
Related Items (8)
On Well-Founded Set-Inductions and Locally Monotone Operators ⋮ Safe inductions and their applications in knowledge representation ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Knowledge compilation of logic programs using approximation fixpoint theory ⋮ Fixpoint semantics for active integrity constraints ⋮ Fixed point semantics for stream reasoning ⋮ Flexible Approximators for Approximating Fixpoint Theory
This page was built for publication: Hex Semantics via Approximation Fixpoint Theory