{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:11Z","timestamp":1725663551309},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564546"},{"type":"electronic","value":"9783540475620"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56454-3_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:10:03Z","timestamp":1330254603000},"page":"187-204","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Metalogic for state oriented programming"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Franco","family":"Turini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt. Logic programming. In J.van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493\u2013574. Elsevier, 1990. Vol. B.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"10_CR2","unstructured":"K.A. Bowen and R.A. Kowalski. Amalgamating Language and Metalanguage in Logic Programming. In K.L. Clark and S.A. Tarnlund, editors, Logic Programming, pages 153\u2013173. Academic Press, 1982."},{"key":"10_CR3","unstructured":"K.A. Bowen and T. Weinberg. A Meta-Level Extension of Prolog. In J. Cohen and J. Conery, editors, Proceedings of IEEE Symposium on Logic Programming, pages 48\u201353. IEEE Computer Society Press, 1985."},{"issue":"1","key":"10_CR4","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","volume":"1","author":"A. Brogi","year":"1991","unstructured":"A. Brogi and P. Ciancarini. The Concurrent Language Shared Prolog. ACM Transactions on Programming Languages and Systems, 1(1):99\u2013123, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR5","first-page":"117","volume-title":"Composition Operators for Logic Theories","author":"A. Brogi","year":"1990","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Composition Operators for Logic Theories. In J.W. Lloyd, editor, Computational Logic, Symposium Proceedings, pages 117\u2013134. Springer-Verlag, Brussels, November 1990."},{"key":"10_CR6","first-page":"100","volume-title":"Metalogic for Knowledge Representation","author":"A. Brogi","year":"1991","unstructured":"A. Brogi and F. Turini. Metalogic for Knowledge Representation. In J.A. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 100\u2013106, Cambridge, CA, 1991. Morgan Kaufmann."},{"key":"10_CR7","unstructured":"P. Coscia, P. Franceschi, G. Levi, G. Sardu, and L. Torre. Metalevel definition and compilation of inference engines in the Epsilon logic programming environment. In R.A. Kowalski and K.A. Bowen, editors, Proc. Fifth International Conference on Logic Programming, pages 359\u2013373. The MIT Press."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"E.Denti, E.Lamma, P.Mello, A.Natali and A.Omicini. Techniques for Implementing Contexts in Logic Programming. 1992. In these Proceedings.","DOI":"10.1007\/3-540-56454-3_17"},{"key":"10_CR9","unstructured":"R. Engelmore and T. Morgan. Blackboard Systems. Addison-Wesley, 1988."},{"issue":"1","key":"10_CR10","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR11","unstructured":"P.M. Hill and J.W. Lloyd. Meta-Programming for Dynamic Knowledge Bases. Technical Report CS-88-18, Department of Computer Science, University of Bristol, 1988."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"G. Kiczales, J. de Rivieres and D.G. Bobrow The Art of the Metaobject Protocol MIT Press, 1991.","DOI":"10.7551\/mitpress\/1405.001.0001"},{"key":"10_CR13","unstructured":"R.A. Kowalski. Predicate logic as a programming language. In IFIP 74, pages 569\u2013574, 1974."},{"key":"10_CR14","unstructured":"R.A. Kowalski. Logic for problem solving. North-Holland, 1979."},{"issue":"2","key":"10_CR15","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF03037139","volume":"6","author":"G. Levi","year":"1988","unstructured":"G.Levi and G.Sardu. Partial Evaluation in a \u201cMultiple Worlds\u201d Logic Language. New Generation Computing, 6(2,3):227\u2013248, 1988.","journal-title":"New Generation Computing"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"10_CR17","unstructured":"P.Mancarella and D.Pedreschi. An Algebra of Logic Programs In Fifth International Conference, Symposium of Logic Programming pages 1006\u20131023 (1988)."},{"key":"10_CR18","unstructured":"F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"P.Mello and A,Natali. Extending Prolog with Modularity, Concurrency and Metarules. New Generation Computing, 10(4), August 1992.","DOI":"10.1007\/BF03037943"},{"key":"10_CR20","unstructured":"L. Monteiro and A.Porto. A Transformational View of Inheritance in Logic Programming. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming, pages 481\u2013494. The MIT Press."},{"key":"10_CR21","unstructured":"H.P. Nii. Blackboard Systems: the blackboard model of problem solving and the evolution of blackboard architectures. AI Magazine, pages 38\u2013106, Summer 1986."},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat and M. Rinard. Concurrent Constraint Programming. In Proceedings seventeenth POPL. ACM, 1990.","DOI":"10.1145\/96709.96733"},{"key":"10_CR23","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1986."},{"key":"10_CR24","unstructured":"A.Takeuchi and K.Furukawa. Partial evaluation of Prolog programs and its application to metaprogramming. In H.J. Kugler, editor, Information Processing 86, pages 415\u2013420. North-Holland, 1986."},{"issue":"4","key":"10_CR25","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1145\/1780.1784","volume":"6","author":"F. Turini","year":"1985","unstructured":"F.Turini. Magma2: a Language Oriented Towards Abstractions of Control. ACM Transactions on Programming Languages and Systems 6(4):468\u2013486, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"10_CR26","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"},{"key":"10_CR27","unstructured":"D.H.D. Warren. An Abstract Prolog Instruction Set. SRI Technical Note 309, SRI International, 1983."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56454-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:18:15Z","timestamp":1558268295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56454-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564546","9783540475620"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-56454-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"28 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}