{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:30:11Z","timestamp":1725748211663},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168140"},{"type":"electronic","value":"9783642713897"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71389-7_34","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T01:54:00Z","timestamp":1378778040000},"page":"406-420","source":"Crossref","is-referenced-by-count":3,"title":["OBLOG-2: Ein hybrides Wissensrepr\u00e4sentationssystem zur Modellierung rechtswissenschaftlicher Probleme"],"prefix":"10.1007","author":[{"given":"Thomas F.","family":"Gordon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Quirchmayr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"34_CR1","first-page":"171","volume":"9","author":"RJ Brachman","year":"1985","unstructured":"Brachman, R.J., and Schmolze, J.G.; An Overview of the KL-ONE Knowledge Representation System; Cognitive Science; 9 (2); 1985; pp 171\u2013216.","journal-title":"J.G.; An Overview of the KL-ONE Knowledge Representation System"},{"key":"34_CR2","volume-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"RJ Brachman","year":"1985","unstructured":"Brachman, R.J.; Gilbert, V.P.; Levesque, H.J.; An Essential Hybrid Reasoning System: Knowedge and Symbol Level Accounts of Krypton; Proceedings of the Ninth International Joint Conference on Artificial Intelligence; 1985."},{"key":"34_CR3","unstructured":"Fiedler, Herbert; Expert Systems as a Tool for Drafting Legal Decisions; Proceedings of the Second International Congress on Logic, Computer Science, and Law (Logica, Informatica, Dirritto); Florence; 1985."},{"key":"34_CR4","unstructured":"Genesereth, M.R. and Smith, D.E.; Meta-Level Architecture; Stanford Heuristic Programming Project; Memo HPP-81\u20136; 1982."},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, M.J.C.; The Denotational Description of Programming Languages, An Introduction; Springer-Verlag; 1979.","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"34_CR6","unstructured":"Gordon, Thomas; Object-Oriented Predicate Logic and its Role in Representing Legal Knowledge; In Computer Power and Legal Reasoning; ed. Walter, C.; West Publishing Co.; 1985."},{"key":"34_CR7","unstructured":"Gordon, Thomas; The Role of Exceptions in Models of the Law; in Formalisierung im Recht und Aus\u00e4tze juristischer Expertensysteme; J. Schweitzer Verlag; Munich; 1986."},{"key":"34_CR8","volume-title":"Stepwise Development of Operational and Denotational Semantics for Prolog","author":"ND Jones","year":"1984","unstructured":"Jones, N.D.; Mycroft, A.; Stepwise Development of Operational and Denotational Semantics for Prolog; International Symposium on Logic Programming; Atlantic City; 1984."},{"key":"34_CR9","unstructured":"Kowalski, R.A.; Logic for Problem Solving; North Holland; 1979."},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd 84] Lloyd, J.W.; Foundations of Logic Programming; Springer Verlag; 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"34_CR11","unstructured":"Philipps, Lothar; Der Computer als Hilfsmittel zu einer interessengerechten Normierung; DVR Beiheft 17; J. Schweitzer Verlag; Munich; 1984."},{"key":"34_CR12","unstructured":"vanMelle, William; A Domain-Independent System that Aids in Constructing Knowledge-Based Consultation Programs; Stanford Heuristic Programming Project; Report No. STAN-CS-80\u2013820; 1980."},{"key":"34_CR13","unstructured":"Vilain, Marc; The Restricted Language Architecture of a Hybrid Representation System; Proceedings of the Ninth International Joint Conference on Artificial Intelligence; 1985."}],"container-title":["Informatik-Fachberichte","GI \u2014 16. Jahrestagung II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71389-7_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T00:47:52Z","timestamp":1558054072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71389-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168140","9783642713897"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71389-7_34","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}