scientific article
From MaRDI portal
Publication:3983046
zbMath0737.68014MaRDI QIDQ3983046
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
The meaning of negative premises in transition system specifications. II ⋮ Modeling the suppression task under weak completion and well-founded semantics ⋮ Finite model reasoning over existential rules ⋮ Ordered completion for first-order logic programs on finite structures ⋮ What is answer set programming to propositional satisfiability ⋮ Generalized metrics and uniquely determined logic programs. ⋮ Stability, Supportedness, Minimality and Kleene Answer Set Programs ⋮ On the Coincidence of Semantics for Uniquely Determined Programs ⋮ Thirteen Definitions of a Stable Model ⋮ Twelve Definitions of a Stable Model
This page was built for publication:
