Model Generation for Horn Logic with Stratified Negation
暂无分享,去创建一个
[1] Georg Gottlob,et al. Complexity and expressive power of logic programming , 2001, CSUR.
[2] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.
[3] Tommy R. Jensen,et al. Graph Coloring Problems , 1994 .
[4] Janos Sztipanovits,et al. Towards a formal foundation for domain specific modeling languages , 2006, EMSOFT '06.
[5] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[6] Raymond Reiter. On Closed World Data Bases , 1977, Logic and Data Bases.
[7] Andreas Blass,et al. Existential Fixed-Point Logic , 1987, Computation Theory and Logic.
[8] Jean Bézivin,et al. Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[9] Edward A. Lee,et al. Actor-oriented models for codesign: balancing re-use and performance , 2004 .
[10] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.
[11] Krzysztof R. Apt,et al. A new definition of SLDNF-resolution , 1992 .
[12] Teodor C. Przymusinski. Every logic program has a natural stratification and an iterated least fixed point model , 1989, PODS.
[13] Victor W. Marek,et al. A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems , 1994, Ann. Pure Appl. Log..
[14] Roberto Passerone,et al. Modeling Techniques in Design-By-Refinement Methodologies , 2003 .
[15] E. Börger. Computation Theory and Logic , 1987, Lecture Notes in Computer Science.
[16] Gabor Karsai,et al. Model-integrated development of embedded software , 2003, Proc. IEEE.