{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:49Z","timestamp":1725488089498},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_4","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T14:41:28Z","timestamp":1186411288000},"page":"47-62","source":"Crossref","is-referenced-by-count":2,"title":["Semantics of Partial-Order Programs"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Osorio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"4_CR1","unstructured":"G*87. G. Levi, C. Palamidessi, P.G. Bosco, E. Giovannetti, and C. Moiso, \u201cA Complete Semantic Characterization of K-Leaf: A Logic Language with Functions,\u201d Proc. 5th Intl. Conf. on Logic Programming, Seattle, pp. 993\u20131005, MIT Press, August 1988."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Hol89. S. H\u00f6lldobler, Foundations of Equational Logic Programming, LNAI 353, Springer-Verlag, 1989.","DOI":"10.1007\/BFb0015791"},{"key":"4_CR3","unstructured":"Jan94. D. Jana, Semantics of Subset Logic Languages, Ph.D. dissertation, Department of Computer Science, SUNY-Buffalo, August 1994."},{"key":"4_CR4","unstructured":"JJ97. D. Jana and B. Jayaraman, \u201cSet Constructors, Finite Sets, and Logical Semantics,\u201d accepted for publication in Journal of Logic Programming."},{"key":"4_CR5","unstructured":"JO98a. B. Jayaraman and M. Osorio \u201cTheory of Partial-Order Programming\u201d, accepted for publication in Science of computer programming journal."},{"key":"4_CR6","unstructured":"JO98b. B. Jayaraman and M. Osorio \u201cRelating Aggregation and Negation-as-Failure\u201d, accepted for publication in New Generation Computing."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"JOM95. B. Jayaraman, M. Osorio and K. Moon, \u201cPartial Order Programming (revisited)\u201d, Proc. Algebraic Methodology and Software Technology, pp. 561\u2013575. Springer-Verlag, July 1995.","DOI":"10.1007\/3-540-60043-4_78"},{"key":"4_CR8","unstructured":"Llo87. J.W. Lloyd, Foundations of Logic Programming (2 ed.), Springer-Verlag, 1987."},{"key":"4_CR9","unstructured":"Man74. Z. Manna, A Mathematical Theory of Computation, McGraw-Hill Publishers, 1974."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Men87. E. Mendelson, Introduction to Mathematical Logic, 3nd ed., Wadsworth, 1987.","DOI":"10.1007\/978-1-4615-7288-6"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"OJ97. M. Osorio and B. Jayaraman, \u201cAggregation and Well-Founded Semantics+,\u201d Proc. 5th Intl. Workshop on Non-Monotonic Extensions of Logic Programming, pp. 71\u201390, LNAI 1216, J. Dix, L. Pereira and T. Przymusinski (eds.), Springer-Verlag, 1997.","DOI":"10.1007\/BFb0023798"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Prz88. T. Przymusinski, \u201cOn the Declarative Semantics of Stratified Deductive Databases and Logic Programs,\u201d Proc. Foundations of Deductive Databases and Logic Programming, J. Minker (ed.), pp. 193\u2013216, Morgan-Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"4_CR13","unstructured":"Sti87. D.R. Stinson, \u201cAn introduction to the Design and Analysis of Algorithms\u201d, Winnipeg, Manitoba, Ca., 1987."},{"key":"4_CR14","unstructured":"Van92. A. Van Gelder, \u201cThe Well-Founded Semantics of Aggregation\u201d, Proc. 9th ACM Symp. on Principles of Database Systems, 1990, pp. 205\u2013217."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:48:34Z","timestamp":1556725714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}