{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:04:00Z","timestamp":1725465840811},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052184","type":"book-chapter","created":{"date-parts":[[2006,6,6]],"date-time":"2006-06-06T23:59:15Z","timestamp":1149638355000},"page":"194-212","source":"Crossref","is-referenced-by-count":2,"title":["Object-oriented computations in logic programming"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Omicini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Natali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"P. Wegner: Dimensions of Object-Based Language Design. Proceedings of OOPSLA '87. ACM, 1987.","DOI":"10.1145\/38765.38823"},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/2.161277","volume":"October","author":"P. Wegner","year":"1992","unstructured":"P. Wegner: Dimensions of Object-Oriented Modeling. IEEE Computer, October 1992, pp. 12\u201320.","journal-title":"IEEE Computer"},{"key":"12_CR3","unstructured":"C. Zaniolo: Object Oriented Programming in Prolog. In: Proceedings of the International Symposium on Logic Programming, Atlantic City, 1984."},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00cft-Kaci","year":"1986","unstructured":"H. A\u00cft-Kaci, R. Nasr: LOGIN: A Logic Programming Language with Built-in Inheritance. Journal of Logic programming, 3(3), 1986, pp. 185\u2013215.","journal-title":"Journal of Logic programming"},{"key":"12_CR5","unstructured":"J. Conery: Logical objects. In: Proceedings of the Fifth International Conference and Symposium on Logic Programming. Seattle, 1988."},{"key":"12_CR6","unstructured":"A. Andreoli, R. Pareschi: Lo and Behold! Concurrent Structured Processes. In: Proceedings of OOPLSA'91, 1991."},{"key":"12_CR7","volume-title":"Logic and Objects","author":"F.G. McCabe","year":"1992","unstructured":"F.G. McCabe: Logic and Objects. London: Prentice Hall International 1992."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"E. Shapiro, A. Takeuchi: Object Oriented Programming in Concurrent Prolog. New Generation Computing, 1(1), 1983.","DOI":"10.1007\/BF03037020"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"A. Borning, R. Duisburg, B. Freeman-Benson, A. Kramer, M. Wolf: Constraint Hierarchies. In: Proceedings of OOPLSA'87, 1987, pp. 48\u201360.","DOI":"10.1145\/38765.38812"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"B. Freeman-Benson: Kaleidoscope: Mixing Objects, Constraints and Imperative Programming. In: Proceedings of ECOOP\/OOPLSA'90, 1990, pp. 77\u201387.","DOI":"10.1145\/97945.97957"},{"key":"12_CR11","first-page":"102","volume-title":"Logic Programming. Lecture Notes in Artificial Intelligence 592","author":"A. Brogi","year":"1992","unstructured":"A. Brogi, E. Lamma, P. Mello: Objects in a Logic Programming Framework. In: A. Voronkov (ed.): Logic Programming. Lecture Notes in Artificial Intelligence 592. Berlin: Springer-Verlag 1992, pp. 102\u2013113."},{"key":"12_CR12","volume-title":"Contextual Logic Programming","author":"L. Monteiro","year":"1989","unstructured":"L. Monteiro, A. Porto: Contextual Logic Programming. In: G. Levi, M. Martelli (eds.): Proceedings of the 6th International Conference on Logic Programming. Cambridge: The MIT Press 1989."},{"key":"12_CR13","unstructured":"A. Brogi, E. Lamma, P. Mello: A General Framework for Structuring Logic Programs. C.N.R. Technical Report \u201cProgetto Finalizzato Sistemi Informatici e Calcolo Parallelo\u201d 4\/1, May 1990."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"E. Denti, A. Natali, A. Omicini: Moving Prolog Toward Objects. In: E. Tick, G. Succi (eds.): Implementations of Logic Programming Systems. To be published by Kluwer, 1994. pp. 92\u2013104.","DOI":"10.1007\/978-1-4615-2690-2_7"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. Kakas","year":"1992","unstructured":"A. Kakas, R. Kowalski, F. Toni: Abductive Logic Programming. Journal of Logic and Computation, Vol. 2, 1992. pp. 719\u2013770.","journal-title":"Journal of Logic and Computation"},{"key":"12_CR16","unstructured":"J. Jaffar, M.J. Mahren Constraint Logic Programming: A Survey. In: Ten Years of Logic Programming. Special Issue of the Journal of Logic Programming. New York: Elsevier. To appear."},{"key":"12_CR17","unstructured":"Swedish Institute of Computer Science: SICStus Prolog User's Manual. Kista (Sweden) 1993."},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science 714","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/3-540-57186-8_81","volume-title":"Programming Language Implementation and Logic Programming","author":"A. Natali","year":"1993","unstructured":"A. Natali, A. Omicini: Objects with State in Contextual Logic Programming. In: M. Bruynooghe, J. Penjam (eds.): Programming Language Implementation and Logic Programming. Lecture Notes in Computer Science 714. Berlin: Springer-Verlag 1993, pp. 220\u2013234."},{"key":"12_CR19","unstructured":"M. Bugliesi: A declarative view of inheritance in logic programming. In: K. Apt (ed.): Proceedings of the Joint International Conference and Symposium on Logic Programming. The MIT Press 1992, pp. 113\u2013130."},{"key":"12_CR20","unstructured":"C. Ruggieri, M. Bugliesi. A Prolog Object-Oriented System: an Exercise in Contextual Logic Programming. Proceedings of the 6th Italian Conference on Logic Programming GULP 91, June 12\u201314,1991, Pisa, Italy."},{"key":"12_CR21","unstructured":"A. Omicini: Integration of Object-Oriented and Logic Programming. Ph.D. Thesis, University of Bologna, Italy."}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052184.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:59:26Z","timestamp":1607533166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582029"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0052184","relation":{},"subject":[]}}