{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:29Z","timestamp":1725663809367},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540554608"},{"type":"electronic","value":"9783540470830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55460-2_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:05:55Z","timestamp":1330250755000},"page":"140-151","source":"Crossref","is-referenced-by-count":1,"title":["On procedural semantics of metalevel negation"],"prefix":"10.1007","author":[{"given":"S.","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. A.","family":"Lanzarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"10_CR1","unstructured":"Costantini S. and Lanzarone G.A., A Metalogic Programming Language, in: Logic Programming, Proceedings of the Sixth International Conference, MIT Press, 1989."},{"key":"10_CR2","unstructured":"Costantini S. and Lanzarone G.A., A Metalogic Programming Approach: Language, Semantics, and Applications, submitted paper."},{"key":"10_CR3","unstructured":"Costantini S. and Lanzarone G.A., Metalevel Negation and Non-Monotonic Reasoning, to appear on Methods of Logic in Computer Science. An abridged version appears in: Proceedings of the Workshop on Logic Programming and Non-Monotonic Reasoning, Austin (TX), Nov. 1\u20132, 1990."},{"key":"10_CR4","unstructured":"Costantini S. and Lanzarone G.A., Semantic Considerations on Metalevel Negation and Negation as Failure, submitted paper."},{"key":"10_CR5","unstructured":"Costantini S., Formal Definition of Reflective Prolog, Internal Report 49\/89, Computer Science Dept., Univ. of Milano (1989)."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Costantini S., Semantics of a Metalogic Programming Language, International Journal of Foundations of Computer Science, vol.1, n.3, Sept. 1990.","DOI":"10.1142\/S0129054190000175"},{"key":"10_CR7","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":"Lloyd J.W., Foundations of Logic Programming, (Second, Extended Edition), Springer-Verlag, Berlin, 1987.","edition":"Second, Extende"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Przymusinski T., Every Logic Program has a Natural Stratification and an Iterated Fixed Point Model, in: Proceedings of the Eight Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, 1989.","DOI":"10.1145\/73721.73723"},{"key":"10_CR9","first-page":"321","volume-title":"Formal Techniques in Artificial Intelligence, a Sourcebook","author":"H. Przymusinska","year":"1990","unstructured":"Przymusinska H. and Przymusinski T., Semantic Issues in Deductive Databases and Logic Programs, in: R.B. Banerji (ed.) Formal Techniques in Artificial Intelligence, a Sourcebook, Elsevier Science Publisher B.V. (North Holland), 1990, 321\u2013367."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Van Gelder A., Ross K., and Schlipf J.S., Unfounded Sets and Well-Founded Semantics for General Logic Programs, in: Proceedings of the Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, 1988.","DOI":"10.1145\/308386.308444"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55460-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:13Z","timestamp":1619573473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55460-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540554608","9783540470830"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55460-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}