{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:31:45Z","timestamp":1725456705767},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594673"},{"type":"electronic","value":"9783540492726"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0030664","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:24:12Z","timestamp":1133414652000},"page":"156-180","source":"Crossref","is-referenced-by-count":4,"title":["Static semantics as program transformation and well-founded computation"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaetano A.","family":"Lanzarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"J.S. Schlipf A. Van Gelder, K.A. Ross. The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 1990. abstract in: Proc. of the Seventh ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1988.","DOI":"10.1145\/308386.308444"},{"key":"9_CR2","unstructured":"C. Baral. Issues in knowledge representation: semantics and knowledge combination. PhD thesis, Department of Computer Science, 1991."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"J. Minker C. Baral, J. Lobo. Generalized disjunctive well-founded semantics for logic programs. Annals of Mathematics and Artificial Intelligence, 5, 1992.","DOI":"10.1007\/BF01543473"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"S. Costantini. Contributions to the stable model semantics of logic programs with negation. Theoretical Computer Science, forthcoming, 1995. abstract in: A. Nerode (ed.), Logic Programming and Non-Monotonic Reasoning, Proc. of the Second International Workshop, The MIT Press, 1993.","DOI":"10.1016\/0304-3975(94)00259-L"},{"key":"9_CR5","volume-title":"Classifying semantics of logic programs","author":"J. Dix","year":"1991","unstructured":"J. Dix. Classifying semantics of logic programs. In V. S. Subrahmanian A. Nerode, W. Marek, editor, Proc. of the First International Workshop on Logic Programming and Non-Monotonic Reasoning. The MIT Press, 1991. Washington D. C., July 1991."},{"key":"9_CR6","volume-title":"Classifying semantics of disjunctive logic programs","author":"J. Dix","year":"1991","unstructured":"J. Dix. Classifying semantics of disjunctive logic programs. In K. Apt, editor, Logic Programming, Proc. of the 1992 Joint Conference and Symposium. The MIT Press, 1992. Washington D. C., November 1991."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences, 47(1), 1993. abstract in: Proc. of the Eight ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989.","DOI":"10.1016\/0022-0000(93)90024-Q"},{"key":"9_CR8","volume-title":"Technical Report CD-TR-92\/42","author":"G. Gottlob","year":"1992","unstructured":"G. Gottlob. The complexity of propositional default reasoning under the stationary semantics. Technical Report CD-TR-92\/42, Institut fur Information-Systeme, Technische University, A-1040 Wien, Austria, 1992."},{"key":"9_CR9","volume-title":"Formal Techniques in Artificial Intelligence","author":"T. C. Przymusinski","year":"1990","unstructured":"T. C. Przymusinski H. Przymusinska. Semantic issues in deductive databases and logic programs. In R.B. Banerji, editor, Formal Techniques in Artificial Intelligence. North Holland, Amsterdam, 1990."},{"key":"9_CR10","volume-title":"An axiomatic framework for representing and characterizing semantics of disjunctive logic programs","author":"M. M\u00fcller","year":"1994","unstructured":"M. M\u00fcller J. Dix. An axiomatic framework for representing and characterizing semantics of disjunctive logic programs. In P. Van Hentenryck, editor, Logic Programming, Proc. of the 11th International Conference. The MIT Press, 1994. Santa Margherita Ligure, June 1994."},{"key":"9_CR11","unstructured":"A. Rajasekar J. Lobo, J. Minker. Foundations of Disjunctive Logic Programming. The MIT Press, 1992."},{"key":"9_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, second, extended edition, 1987.","edition":"second, extende"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"J. McCarthy. Circumscription \u2014 a form of non-monotonic reasoning. Artificial Intelligence, 13, 1980.","DOI":"10.21236\/ADA086574"},{"key":"9_CR14","unstructured":"V. Lifschitz M. Gelfond. The stable model semantics for logic programming. In R.A. Kowalski K. Bowen, editor, Logic Programming, Proceedings of the Fifth Symposium. The MIT Press, 1988."},{"key":"9_CR15","volume-title":"On indefinite data bases and the closed world assumption","author":"J. Minker","year":"1982","unstructured":"J. Minker. On indefinite data bases and the closed world assumption. In Proc. of the 6th Conference on Automated Deduction, New-York, 1982. Springer-Verlag."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"J. Dix M. M\u00fcller. Implementing semantics of disjunctive logic programs using fringes and abstract properties. In A. Nerode, editor, Logic Programming and Non-Monotonic Reasoning, Proc. of the Second International Workshop. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0007"},{"key":"9_CR17","volume-title":"Every logic program has a natural stratification and an iterated fixpoint model","author":"T. C. Przymusinski","year":"1989","unstructured":"T. C. Przymusinski. Every logic program has a natural stratification and an iterated fixpoint model. In Proc. of the Eight ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM Press, 1989. Philadelphia, Pennsylvania."},{"key":"9_CR18","volume-title":"Semantics of disjunctive logic programs and deductive databases","author":"T. C. Przymusinski","year":"1991","unstructured":"T. C. Przymusinski. Semantics of disjunctive logic programs and deductive databases. In Y. Masunega C. Delobel, M. Kifer, editor, DOOD'91, Proc. of the 2nd International Conference on Deductive and Object-Oriented Databases, Berlin, 1991. Springer-Verlag. Munich, Germany."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. Static semantics for normal and disjunctive logic programs, the Annals of Mathematics and Artificial Intelligence, ??, 1994. Special Issue on Disjunctive Programs.","DOI":"10.1007\/BF01530826"},{"key":"9_CR20","unstructured":"G.A. Lanzarone S. Costantini. Metalevel negation and non-monotonic reasoning. Methods of Logic in Computer Science: An International Journal, 1(1), 1994. abstract in: Proc. of the Workshop on Non-Monotonic Reasoning and Logic Programming, Austin, TX, November 1\u20132, 1990."},{"key":"9_CR21","unstructured":"J.S. Schlipf. A survey of complexity and undecidability results in logic programming. In Proc. of the Workshop on Structural Complexity and Recursion-Theoretic Methods in Logic Programming, November 1992. held in conjunction to JICSLP'92, Washington, D. C."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"C.Vago V.S. Subrahmanian, D. Nau. Wfs + branch and bound = stable models. Technical Report CS-TR-2935 UMIACS-TR-92.82, University of Maryland, July 1992. submitted to IEEE Transactions on Knowledge and Data Engineering.","DOI":"10.21236\/ADA455012"}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T06:45:36Z","timestamp":1706769936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030664"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594673","9783540492726"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0030664","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}