Semantic Scholar uses AI to extract papers important to this topic.
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting… Expand In this paper we study the properties of the class of head-cycle-free extended disjunctive logic programs (HEDLPs), which… Expand Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is… Expand In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered… Expand A novel logic program like language, weight constraint rules, is developed for answer set programming purposes. It generalizes… Expand In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least… Expand Building animation tools for fluid-like motions is an important and challenging problem with many applications in computer… Expand This paper relates inference in extended logic programming with nonclassical, nonmonotonic logics. We define a nonmonotonic logic… Expand Foreword Robert Auman Acknowledgment 1. Introduction Part I. One-To-One Matching: the Marriage Model: 2. Stable matchings 3. The… Expand This paper studies the stable model semantics of logic programs with (abstract) constraint atoms and their properties. We… Expand