{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:48:13Z","timestamp":1742636893984},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_11","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T06:23:28Z","timestamp":1387434208000},"page":"163-173","source":"Crossref","is-referenced-by-count":5,"title":["Syntactic and Semantic Inheritance in Logic Programming"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Monteiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ant\u00f3nio","family":"Porto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"H. Alt-Kaci, R. Nasr. LOGIN: A logic programming language with built-in inheritance. J. Logic Programming, vol. 3, no. 3, 1986.","DOI":"10.1016\/0743-1066(86)90013-0"},{"key":"11_CR2","volume-title":"Imperial College","author":"KL Clark","year":"1979","unstructured":"K.L. Clark. Predicate Logic as a Computational Formalism. Research Report Doc. 79\/59, Department of Computing, Imperial College, 1979."},{"key":"11_CR3","volume-title":"Pa","author":"H Gallaire","year":"1986","unstructured":"H. Gallaire. Merging objects and logic programming: relational semantics. Proc. AAAI-86, Philadelphia, PA, 1986."},{"key":"11_CR4","volume-title":"North-holland","author":"H Kauffman","year":"1986","unstructured":"H. Kauffman, A. Grumbach. MULTILOG: MULTIple worlds in LOGic Programming. Proc. ECA I-86, North-Holland, 1986."},{"key":"11_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Second edition, Springer-Verlag, Berlin, 1987.","edition":"Seco"},{"key":"11_CR6","volume-title":"Logic and objects","author":"F Mccabe","year":"1988","unstructured":"F. McCabe. Logic and objects. Imperial College, London, 1988."},{"key":"11_CR7","volume-title":"Wiley and Sons","author":"P Mello","year":"1989","unstructured":"P. Mello. Inheritance as a Combination of Horn Clause Theories. Inheritance Hierarchies in Knowledge Representation, J. Wiley and Sons, 1989."},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D Miller","year":"1989","unstructured":"D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, Vol. 6, pp. 79\u2013108, 1989.","journal-title":"Journal of Logic Programming"},{"key":"11_CR9","volume-title":"Proc. 6th International Conference","author":"L Monteiro","year":"1989","unstructured":"L. Monteiro, A. Porto. Contextual Logic Programming. Logic Programming, Proc. 6th International Conference, eds. G. Levi and M. Martelli, MIT Press, Cambridge, MA, 1989."},{"key":"11_CR10","volume-title":"Proc. 7th International Conference","author":"L Monteiro","year":"1990","unstructured":"L. Monteiro, A. Porto. A Tranformational View of Inheritance in Logic Programming. Logic Programming, Proc. 7th International Conference, eds. P. Szeredi and D. H. D. Warren, MIT Press, Cambridge, MA, 1990."},{"key":"11_CR11","volume-title":"Ieee Computer Society Press","author":"R O\u2019Keefe","year":"1985","unstructured":"R. O\u2019Keefe. Towards an Algebra for Constructing Logic Programs. Proc. 1985 Symposium on Logic Programming, IEEE Computer Society Press, 1985."},{"key":"11_CR12","volume-title":"Ieee Press","author":"C Zaniolo","year":"1984","unstructured":"C. Zaniolo. Object oriented programming in Prolog. Proc\n                  . International Symposium on Logic Programming, IEEE Press, 1984."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T13:29:02Z","timestamp":1558790942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_11","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}