scientific article; zbMATH DE number 5201478
From MaRDI portal
Publication:5422271
zbMath1123.03015MaRDI QIDQ5422271
Maarten Mariën, Johan Wittocx, Joost Vennekens, Marc Denecker
Publication date: 17 October 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
approximationnormal formsemanticslogic programmingalgebraic approachfixpointnonmonotonic logicseliminating universal quantifierspredicate introduction
Related Items (3)
On Well-Founded Set-Inductions and Locally Monotone Operators ⋮ Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs ⋮ Fixpoint semantics for active integrity constraints
This page was built for publication: