{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:22:15Z","timestamp":1725636135719},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190714"},{"type":"electronic","value":"9783642735332"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-3-642-73533-2_19","type":"book-chapter","created":{"date-parts":[[2011,11,22]],"date-time":"2011-11-22T13:42:51Z","timestamp":1321969371000},"page":"262-271","source":"Crossref","is-referenced-by-count":0,"title":["Wissensrepr\u00e4sentation und Programmiersprachen"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Wissen -Wissensrepr\u00e4sentation","author":"DE Altenkr\u00fcger","year":"1986","unstructured":"Altenkr\u00fcger, D.E., (1986). Interparadigmatische Wissensdarstellung. In: Wissen -Wissensrepr\u00e4sentation, Dirlich, G., Furbach, U. (Hg.). Bericht Nr.:8606 Universit\u00e4t der Bundeswehr M\u00fcnchen."},{"key":"19_CR2","volume-title":"The relation between logic and functional languages: A survey. J. Logic Programming 3","author":"M Bellia","year":"1986","unstructured":"Bellia, M., Levi, G. (1986). The relation between logic and functional languages: A survey. J. Logic Programming 3."},{"key":"19_CR3","volume-title":"Associative Networks: Representation and Use of Knowledge by Computers","author":"RJ Brachman","year":"1979","unstructured":"Brachman, R.J. (1979). On the Epistemological Status os Semantic Networks. In: Findler (ed.). Associative Networks: Representation and Use of Knowledge by Computers. Academic Press."},{"key":"19_CR4","volume-title":"An essential hybrid reasoning System: Knowledge and symbol level accounts of KRYPTON","author":"RJ Brachman","year":"1985","unstructured":"Brachman, R.J., Gilbert, V. P., Levesque, H.J. (1985). An essential hybrid reasoning System: Knowledge and symbol level accounts of KRYPTON. Proc. of the 9th IJCAI."},{"key":"19_CR5","first-page":"103","volume-title":"Informatik Fachberichte","author":"C Freksa","year":"1985","unstructured":"Freksa, C, Furbach, U., Dirlich, G. (1985). Cognition and representation. In: Laubsch, J. (ed.), Informatik Fachberichte 103, Springer, Heidelberg."},{"key":"19_CR6","volume-title":"Intrinsische vs. extrinsische Repr\u00e4sentation und analoges Schlie\u00dfen","author":"C Freksa","year":"1988","unstructured":"Freksa, C. (1988). Intrinsische vs. extrinsische Repr\u00e4sentation und analoges Schlie\u00dfen. In diesem Band."},{"key":"19_CR7","volume-title":"Artificial Intelligence. Methodology, Systems, Applications","author":"U Furbach","year":"1985","unstructured":"Furbach, U., Dirlich, G., Freksa, C. (1985). Towards a theory of knowledge representation. Proc. AIMSA-84 Conference Varna. In: Bibel, W., Petkoff, B. (eds.) Artificial Intelligence. Methodology, Systems, Applications. North-Holland, Amsterdam."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Furbach, U., H\u00f6lldobler, S. (1986 a). Modelling the combination of functional and logic programming languages. J. Symb. Computation 2, 1986.","DOI":"10.1016\/S0747-7171(86)80018-9"},{"key":"19_CR9","volume-title":"Berichte aus den Informatikinstituten","author":"U Furbach","year":"1986","unstructured":"Furbach, U., H\u00f6lldobler, S. (1986 b). Horn clauses in a functional environment. In: Berichte aus den Informatikinstituten. Radermacher, F.J., Wirsing, M. (Hg.), Universit\u00e4t Passau, MIP-8604."},{"key":"19_CR10","volume-title":"Some problems and non-problems in representation theory","author":"PJ Hayes","year":"1974","unstructured":"Hayes, P.J. (1974). Some problems and non-problems in representation theory. Proc. AISB Summer Conf., Sussex."},{"key":"19_CR11","volume-title":"The role of logic in knowledge representation and commonsense reasoning","author":"RC Moore","year":"1982","unstructured":"Moore, R.C. (1982). The role of logic in knowledge representation and commonsense reasoning. Proc. AAAI-82. Pittsburgh."},{"key":"19_CR12","first-page":"116","volume-title":"Representation in memory","author":"DE Rumelhart","year":"1983","unstructured":"Rumelhart, D.E., Norman, D.A. (1983). Representation in memory. UCSD CHIP 116."},{"key":"19_CR13","volume-title":"Cognition and categorization","author":"SE Palmer","year":"1978","unstructured":"Palmer, S.E. (1978). Fundamental aspects of cognitive representation. In: Cognition and categorization. Rosch, E., Lloyd, B.B. (eds.). Hillsdale: Lawrence Erlbaum."},{"key":"19_CR14","volume-title":"Mental images and their transformation","author":"RN Shepard","year":"1982","unstructured":"Shepard, R.N., Cooper, L.A. (1982). Mental images and their transformation. MIT Press, Cambridge."},{"key":"19_CR15","volume-title":"Theory resolution: Building in nonequational theories","author":"ME Stickel","year":"1983","unstructured":"Stickel, M.E. (1983). Theory resolution: Building in nonequational theories. Proc. AAAI-83. Washington, DC."}],"container-title":["Informatik-Fachberichte","Wissensarten und ihre Darstellung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-73533-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:20:41Z","timestamp":1606270841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-73533-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190714","9783642735332"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-73533-2_19","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1988]]}}}