{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:56Z","timestamp":1725748196364},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168140"},{"type":"electronic","value":"9783642713897"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71389-7_31","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T01:54:00Z","timestamp":1378778040000},"page":"367-382","source":"Crossref","is-referenced-by-count":9,"title":["Formalisierung im Recht und Juristische Expertensysteme"],"prefix":"10.1007","author":[{"given":"H.","family":"Fiedler","sequence":"first","affiliation":[]},{"given":"R.","family":"Traunm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"H. Fiedler, Zur logischen Konzeption der Rechtsfindung aus dem"},{"key":"31_CR2","first-page":"129","volume-title":"in: Gesetzgebungs- theorie, Juristische Logik, Zivil-und Proze(3recht, Gedachtnis-schrift f\u00fcr J. R\u00f6dig, hersg. von U","author":"GI Bedingungen","year":"1978","unstructured":"Gesetz und ihren historischen Bedingungen, in: Gesetzgebungs- theorie, Juristische Logik, Zivil-und Proze(3recht, Gedachtnis-schrift f\u00fcr J. R\u00f6dig, hersg. von U. Klug u.a., Berlin-HeidelbergNew York 1978, S. 129\u2013139."},{"key":"31_CR3","unstructured":"H. Fiedler, Die Rechtsfindung aus dem Gesetz im Lichte der neue-"},{"key":"31_CR4","first-page":"55","volume-title":"in: Festschrift f\u00fcr Ulrich Klug zum 70. Geburtstag, hersg. v. G","author":"RL Methodenlehre","year":"1983","unstructured":"ren Logik und Methodenlehre, in: Festschrift f\u00fcr Ulrich Klug zum 70. Geburtstag, hersg. v. G. Kohlmann, K\u00f6ln 1983, S. 55\u201367."},{"key":"31_CR5","unstructured":"K. Engisch, Logische Studien zur Gesetzesanwendung, 3. Aufl."},{"key":"31_CR6","first-page":"1960","volume-title":"S. 15 (Sitzungsberichte der Heidelberger Akade- mie der Wissenschaften, phil.-hist","author":"Heidelberg","year":"1963","unstructured":"Heidelberg 1963, S. 15 (Sitzungsberichte der Heidelberger Akade- mie der Wissenschaften, phil.-hist. Kl., Jahrgang 1960 )."},{"key":"31_CR7","unstructured":"AI and Legal Reasoning. Report of a panel chaired by Edwina L. Rissland. In: Proceedings der IJ CAI 1985, p. 1254 ss."},{"key":"31_CR8","unstructured":"McCarty, L.T. and Sridharan, N.S., The Representation of an"},{"key":"31_CR9","volume-title":"Proceedings IJCAI","author":"Evolving System of Legal Concepts","year":"1981","unstructured":"Evolving System of Legal Concepts: II. Prototypes and Deforma- tions, in: Proceedings IJCAI 1981."},{"key":"31_CR10","unstructured":"L. H. Fohmann, Die Informationale Programmiersprache IPL-Studie"},{"key":"31_CR11","unstructured":"zur 0 erationalisierung regelorientierter schlechtdefinierter nichtschematischer Entscheidungen-, M\u00fcnchen u. Wien 1985 (Berichte der Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Nr. 147)."},{"key":"31_CR12","unstructured":"Th. F. Gordon, Object-Oriented Predicate Logic and its Role in Representing Legal Knowledge, St. Augustin 1985(Arbeitspapiere der GMD, Nr. 135)."},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"H. Fiedler, Th. Barthel und G. Voogd, Untersuchungen zur Formali- sierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung (UFORED), Opladen 1984 (Forschungsberichte des Landes Nordrhein-Westfalen, Nr. 3180, Fachgruppe Geisteswissenschaften).","DOI":"10.1007\/978-3-322-87555-6"},{"key":"31_CR14","unstructured":"H. Fiedler und R. Traunm011er (Hrsg.), Formalisierung im Recht"},{"key":"31_CR15","unstructured":"und Ans\u00e4tze juristischer Expertensysteme, Munchen 1986(1. Workshop des GI-AK \u201cFormalisierung und formale Modelle im Recht\u201d; Arbeitspapiere Rechtsinformatik, H. 21)."},{"key":"31_CR16","unstructured":"T. W. 011e, H. Sol und A. A. Verrijn-Stuart (Hrsg.), Comparative Reviews on Information Systems Design Methodologies - A Comparative Review, Amsterdam und New York 1982 (proceedings eines IFIP-TC8-Kongresses; North Holland Verl.)."},{"key":"31_CR17","unstructured":"T. W. 011e, H. Sol und C. Tully (Hrsg.), Comparative Review on Information Systems Design Methodologies - A Feature Analysis, Amsterdam und New York 1983 (proceedings eines IFIP-TC8-Kongresses; North Holland Verl.)."},{"key":"31_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5196-5","volume-title":"On Conceptual Modelling","author":"M Brodie","year":"1984","unstructured":"M. Brodie, J. Mylopoulos und J. Schmidt, On Conceptual Modelling, New York-Berlin-Heidelberg-Tokyo 1984 ( Springer Verl.)."},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"M.-J. Schachter-Radig, Wissenserwerb und -formalisierung fur den kommerziellen Einsatz wissensbasierter Systeme, in: Tagungsband wissensbasierte Systeme, GI-Kongress 1985, Hrsg. v. W. Brauer und B. Radig New York-Berlin-Heidelberg-Tokyo 1985 (Informatik- Fachberichte 112, Springer-Verl.).","DOI":"10.1007\/978-3-642-70840-4_24"}],"container-title":["Informatik-Fachberichte","GI \u2014 16. Jahrestagung II"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71389-7_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:35:48Z","timestamp":1558056948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71389-7_31"}},"subtitle":["Hintergrund und Zusammenh\u00e4nge"],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168140","9783642713897"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71389-7_31","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}