scientific article; zbMATH DE number 5201479
From MaRDI portal
Publication:5422272
zbMath1123.03016MaRDI QIDQ5422272
Joost Vennekens, Johan Wittocx, Marc Denecker, Maarten Mariën
Publication date: 17 October 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
approximationnormal formautoepistemic logicsemanticsalgebraic approachfixpointnonmonotonic logicspredicate introduction
Related Items (2)
On Well-Founded Set-Inductions and Locally Monotone Operators ⋮ Fixpoint semantics for active integrity constraints
This page was built for publication: