共 50 条
- [1] Stable models and difference logic Annals of Mathematics and Artificial Intelligence, 2008, 53 : 313 - 329
- [2] Computing Stable Models via Reductions to Difference Logic LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 142 - 154
- [4] THE STABLE MODELS OF A PREDICATE LOGIC PROGRAM JOURNAL OF LOGIC PROGRAMMING, 1994, 21 (03): : 129 - 153
- [5] Revised Stable Models - A semantics for logic programs PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 29 - 42
- [6] Partial stable models for logic programs with aggregates LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 207 - 219
- [8] Introducing Temporal Stable Models for Linear Dynamic Logic SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 12 - 21
- [9] An Alternative Definition of Stable Models Via Lukasiewicz Logic COMPUTACION Y SISTEMAS, 2023, 27 (01): : 303 - 313
- [10] Locally Determined Logic Programs and Recursive Stable Models Annals of Mathematics and Artificial Intelligence, 2004, 40 : 225 - 262