{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T18:16:52Z","timestamp":1714933012043},"reference-count":21,"publisher":"Elsevier","isbn-type":[{"value":"9781483207711","type":"print"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1016\/b978-1-4832-0771-1.50027-8","type":"book-chapter","created":{"date-parts":[[2015,4,11]],"date-time":"2015-04-11T01:33:01Z","timestamp":1428715981000},"page":"543-563","source":"Crossref","is-referenced-by-count":1,"title":["A FRAME-LIKE KNOWLEDGE REPRESENTATION INTEGRATING ABSTRACT DATA TYPES AND LOGIC"],"prefix":"10.1016","author":[{"given":"Douglas","family":"Skuce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0020-7373(87)80046-9","article-title":"The KREME knowledge editing environment","volume":"27","author":"Abrett","year":"1987","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib2","series-title":"ACTORS: A Model of Concurrent Computation In Distributed Systems","author":"Agha","year":"1987"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO Specification Language LOTOS","volume":"14","author":"Bolognesi","year":"1987","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib4","unstructured":"Brachman, R., Gilbert, V., and Levesque, H. 1985. An essential hybrid reasoning system: knowledge and symbol level accounts of krypton. In IJCAI 85, pp. 532\u2013539. IJCAI proceedings are available from Morgan Kaufmann Publishers, San Mateo, CA."},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib5","unstructured":"Computational Intelligence. 1987. (Special Issue on Nonmonotonic Reasoning), 3(3)."},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib6","series-title":"Logic Programming: Functions, Relations and Equations","author":"DeGroot","year":"1986"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib7","series-title":"Unifying Functional, Object-oriented, and Relational Programming with Logical Semantics","author":"Goguen","year":"1987"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib8","article-title":"Executing Large LOTOS Specifications","volume":"VIII","author":"Guillemot","year":"1988"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib9","series-title":"Building Large Knowledge-based Systems","author":"Lenat","year":"1990"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib10","unstructured":"LOTOS\u2014A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO document DIS 8,807, 1987."},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib11","unstructured":"Markosian, L., and Abraido-Fandino, L. 19?? (sic). Knowledge-Based Software Engineering Using REFINE. Reasoning Systems Inc., Palo Alto."},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib12","series-title":"Dictionnaire Explicatif et Combinatoire du fran\u00e7ais contemporain","author":"Mel'cuk","year":"1984"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib13","series-title":"Acquisition of Very Large Knowledge Bases: Methodology, Tools and Applications","author":"Nirenburg","year":"1988"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib14","series-title":"Exploring Artificial Intelligence","article-title":"Nonmonotonic Reasoning","author":"Reiter","year":"1988"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib15","series-title":"Associative Networks: Representation and Use of Knowledge","article-title":"The SNePs Semantic Network Processing System","author":"Shapiro","year":"1979"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib16","unstructured":"Skuce, D. 1991. A Knowledge Acquisition and Verification Environment Integrating Objects, Logic, and Natural Language. In preparation."},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib17","unstructured":"Skuce, D. Forthcoming. A synthesis of objects, logic, and natural language for software production. Submitted to IEEE Software."},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib18","series-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"Sowa","year":"1984"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib19","doi-asserted-by":"crossref","unstructured":"Takeuchi, A., and Furakawa, K. 1986. Parallel logic programming languages. Proceedings of the Third International Conference on Logic Programming, London.","DOI":"10.1007\/3-540-16492-8_79"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib20","series-title":"The Mathematics of Inheritance Systems","author":"Touretzky","year":"1986"},{"key":"10.1016\/B978-1-4832-0771-1.50027-8_bib21","unstructured":"Touretzky, D., Horty, J. and Thomason, R. 1987. A clash of intuitions: The current state of nonmonotonic multiple inheritance systems. In IJCAI 87, pp. 476\u2013482. IJCAI proceedings are available from Morgan Kaufmann Publishers, San Mateo, CA."}],"container-title":["Principles of Semantic Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781483207711500278?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781483207711500278?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,9,23]],"date-time":"2018-09-23T16:57:25Z","timestamp":1537721845000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9781483207711500278"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9781483207711"],"references-count":21,"URL":"https:\/\/doi.org\/10.1016\/b978-1-4832-0771-1.50027-8","relation":{},"subject":[],"published":{"date-parts":[[1991]]}}}