GELFOND M,LIFSCHITZ V.The stable model semanticsfor logic programming[C]∥Proceedings of the 5thInternational Conference on Logic Programming,Seattle,WA.Cambrige:MIT Press,1988:1070-1080.
[2]
GELFOND M,LIFSCHITZ V.Classical negation in logicprograms and disjunctive databases[J].New GenerationComputing,1991,9(3/4):365-386.
[3]
SIMONS P.Extending the stable model semantics withmore expressive rule[C]∥Proceedings of the 5thInternational Conference on Logic Programming andNonmonotonic Reasoning,El Paso,TX,Lecture Notes inComputer Science,Vol.1730.Berlin:Springer,1999:305-316.
[4]
LLOYD J.Foundations of logic programming[M].Berlin:Springer-Verlag,1984:1-40.
[5]
APT K.Logic programming[M]∥LEEUVEN J V,Handbook of Theoretical Computer Science.Cambridge:MIT Press,1990:493-574.
WANG J,JU S,LIU C.Agent-oriented probabilistic logicprogramming[J].Journal Computer Science&Technology,2006,21(3):412-417.
[8]
WANG Jie,LIU Chun-nian.Fuzzy constraint logicprogramming with answer set semantics[C]∥Proceedingsof KSEM 2007,Lecture Notes in Computer Science 4798.Melbourne:Springer,2006:52-60.
[9]
WANG Jie,LIU Chun-nian.Agent-oriented probabilisticlogic programming with fuzzy constraints[C]∥SHI Z Z,SADANANDA R.PRIMA 2006,LNCS(LNAI),Vol.4088.Heidelberg:Springer,2006:664-671.
[10]
SIMONS P,SOININEN T,NIEMELA I.Stable modelsemantics of weight constraint rules[C]∥Proceedings ofthe 5th International Conference on Logic Programmingand Nonmonotonic Reasoning,El Paso,TX,LectureNotes in Computer Science,Vol.1730.Berlin:Springer,1999:317-331.
[11]
FERRARIS P,LEE J,LIFSCHITZ V.A new perspectiveon stable models[C]∥Proceedings of International JointConference on Artificial Intelligence(IJCAI).SanFrancisco:Morgan Kaufmann Publisher,2007:372-379.
[12]
SOININEN T,NIEMELA I.Developing a declarative rulelanguage for applications in product configuration[C]∥Practical Aspects of Declarative Languages,Lecture Notesin Computer Science,Vol.1551.San Antonio:Springer,1999:305-319.
[13]
SIMONS P,NIEMELA I,MINKER J.Extending thesmodels system with cardinality and weight constraints[C]∥Logic-Based Artificial Intelligence.Norwell,MA:Kluwer Academic Publishers,2000:491-521.
[14]
SOININEN T,NIEMELA I,YIIHONEN J,et al.Representing configuration knowledge with weightconstraint rules[C]∥Proceedings of the AAAI Spring2001 Symposium on Answer Set Programming.Stanford:AAAI Press,2001:195-201.
[15]
SIMONS P,SOININEN T,NIEMELA I.Extending andimplementing the stable model semantics[J].ArtificialIntelligence,2002,138(1/2):181-234.
[16]
ALSAG,BARAL C.Reasoning in description logicsusing declarative logic programming[R].Tempe:Department of Computer Science and Engineering,Arizona State University,2001.
EITER T,FINK M,TOMPITS H,et al.Strong anduniform equivalence in answer-set programming:characterizations and complexity results for the non-ground case[C]∥Proceedings of 20th NationalConference on Artificial Intelligence(AAAI 2005).Cambridge:American Association for ArtificialIntelligence,2005:695-700.
