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