{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:52:47Z","timestamp":1743058367206,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540185352"},{"type":"electronic","value":"9783540480082"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"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":[[1987]]},"DOI":"10.1007\/3540185356_37","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:37:09Z","timestamp":1330180629000},"page":"169-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A formal model of knowledge-based systems"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Kala\u0161","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"11_CR1","first-page":"313","volume-title":"Fundamentals of Artificial Intelligence, An Advanced Course, LNCS 232","year":"1985","unstructured":"Bibel, W., Jorrand, Ph. (eds.): Fundamentals of Artificial Intelligence, An Advanced Course, LNCS 232, Springer-Verlag, Paris, pp. 313, 1985"},{"volume-title":"Representation and Understanding, Studies in Cognitive Science","year":"1975","key":"11_CR2","unstructured":"Bobrow, D.G., Collins, A. (eds.): Representation and Understanding, Studies in Cognitive Science, Academic Press, New York 1975"},{"key":"11_CR3","unstructured":"Brachman, R.J., Levesque, H.J.: Competence in Knowledge Representation, Proc. of AAAI'82, pp. 189\u2013192, 1982"},{"key":"11_CR4","unstructured":"Hayes, P.: In Defence of Logic, Proc. 5th IJCAI, pp. 559\u2013565, 1977"},{"key":"11_CR5","unstructured":"Kala\u0161, I.: A Formal Treatment of Knowledge-Based Systems, (CSc. dissertation, in Slovak), Institute of Computer Science, Comenius University, 1987"},{"key":"11_CR6","unstructured":"Levesque, H.J.: A Formal Treatment of Incomplete Knowledge Bases, Fairchild Tech. Report No. 614, 1982"},{"key":"11_CR7","unstructured":"Mayoh, B.H.: Unified Theory for Logical Programming and Semantic Representation, Computers and AI 6, No 1, pp. 1\u201315, 1987"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Mylopoulos, J: An Overview of Knowledge Representation, in: Proc. of the Workshop on Data Abstraction, Databases and Conceptual Modelling, SIGART Newsletter, No 74, pp. 5\u201312, 1981","DOI":"10.1145\/960128.806869"},{"key":"11_CR9","unstructured":"Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, pp. 300, 1984"},{"volume-title":"Pattern Directed Inference Systems","year":"1979","key":"11_CR10","unstructured":"Waterman, D.A., Hayes-Roth, F. (eds.): Pattern Directed Inference Systems, Academic Press, London, 1979"}],"container-title":["Lecture Notes in Computer Science","Trends, Techniques, and Problems in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540185356_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:18:58Z","timestamp":1578518338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540185356_37"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540185352","9783540480082"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3540185356_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"15 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}