Model generation for horn logic with stratified negation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5048 LNCS, Issue , 2008, Pages 1-20

  Jackson, Ethan K ^a   Schulte, Wolfram ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLIED (CO); CLOSED WORLD ASSUMPTION (CWA); DISTRIBUTED SYSTEMS; FORMAL TECHNIQUES; HARD PROBLEMS; HEIDELBERG (CO); HORN CLAUSES; HORN LOGIC; INTERNATIONAL CONFERENCES; KEY PROBLEMS; MODEL GENERATION; MODEL-BASED DESIGNS; NON-MONOTONIC; SATISFIABILITY (SAT) PROBLEMS; SPRINGER (CO); STAGE ALGORITHM; STRATIFIED NEGATION; CLOSED WORLD ASSUMPTION; MODEL- BASED DESIGNS; SATISFIABILITY PROBLEMS; STATE OF THE ART;

ALGORITHMS; ARCHITECTURAL DESIGN; BOOLEAN FUNCTIONS; EVOLUTIONARY ALGORITHMS; FORMAL LOGIC; FUZZY LOGIC; INTEGER PROGRAMMING; LOGIC PROGRAMMING; SCHEDULING ALGORITHMS; SET THEORY; VERIFICATION; EMBEDDED SYSTEMS;

MATHEMATICAL MODELS; VERIFICATION;

EID: 45749116589     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68855-6_1     Document Type: Conference Paper

References (17)

1. Jackson, E.K., Sztipanovits, J.: Towards a formal foundation for domain specific modeling languages. In: Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT 2006), pp. 53-62 (2006)
2. Object Management Group: Mda guide version 1.0.1. Technical report (2003)
3. Bezivin, J., Gerbé, O.: Towards a precise definition of the omg/mda framework. In: Proceedings of the 16th Conference on Automated Software Engineering, pp. 273-280 (2001)
4. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE 91(1), 145-164 (2003)
5. Burch, J., Passerone, R., Sangiovanni-Vincentelli, A.: Modeling techniques in design-by-refinement methodologies. Integrated Design and Process Technology (June 2002)
6. Lee, E.A., Neuendorffer, S.: Actor-oriented models for codesign: Balancing re-use and performance. In: Formal Methods and Models for Systems. Kluwer, Dordrecht (2004)
7. Przymusinski, T.C.: Every logic program has a natural stratification and an iterated least fixed point model. In: PODS 1989: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pp. 11-21. ACM, New York (1989)
8. Jensen, T.R., Toft, B.: Graph Coloring Problems. Wiley-Interscience, New York, ISBN 0-471-02865-7
9. Reiter, R.: On closed world data bases, pp. 300-310 (1987)
10. Blass, A., Gurevich, Y.: Existential fixed-point logic. In: Borger, E. (ed.) Computation Theory and Logic. LNCS, vol. 270, pp. 20-36. Springer, Heidelberg (1987)
11. van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38, 620-650 (1991)
12. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070-1080. The MIT Press, Cambridge (1988)
13. Marek, V.W., Nerode, A., Remmel, J.B.: A context for belief revision: Forward chaining - normal nonmonotonic rule systems. Ann. Pure Appl. Logic 67(1-3), 269-323 (1994)
14. Emden, M.H.V., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM 23, 733-742 (1976)
15. Apt, K.R., Doets, K.: A new definition of SLDNF-resolution. The Journal of Logic Programming 18, 177-190 (1994)
16. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374-425 (2001)
17. de Moura, L., Bjørner, N.: Z3: An Efficient SMT Solver. In: Proceedings of Fourteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008). LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)