Skip to main content

Formalisierung im Recht und Juristische Expertensysteme

Hintergrund und Zusammenhänge

  • Conference paper
GI — 16. Jahrestagung II

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 127))

Zusammenfassung

Die folgende Einführung zum Fachgespräch “Juristische Expertensysteme und Formalisierung im Recht” will nicht den state of the art der Formalisierung im Recht einerseits und der Arbeiten an juristischen Expertensystemen andererseits darstellen. Wichtiger ist es, als Grundlage der Kooperation von Informatikern und Juristen die Hintergründe und Zusammenhänge der Arbeit an einem letztlich gemeinsamen Themenbereich darzustellen. Dies geschieht im folgenden einerseits mehr aus der Sicht der Rechtsinformatik und allgemeinen Rechtstheorie (Abschnitt 1, 2), andererseits mehr aus der Sicht der Informatik und insbesondere der Methodik des Entwurfs von Informationssystemen (Abschnitte 3, 4). Abschließend wird versucht, beide Sichtweisen zu einer gemeinsamen Perspektive (Abschnitt 5) zusammenzufügen.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturangaben

  1. H. Fiedler, Zur logischen Konzeption der Rechtsfindung aus dem

    Google Scholar 

  2. Gesetz und ihren historischen Bedingungen, in: Gesetzgebungs- theorie, Juristische Logik, Zivil-und Proze(3recht, Gedachtnis-schrift für J. Rödig, hersg. von U. Klug u.a., Berlin-HeidelbergNew York 1978, S. 129–139.

    Google Scholar 

  3. H. Fiedler, Die Rechtsfindung aus dem Gesetz im Lichte der neue-

    Google Scholar 

  4. ren Logik und Methodenlehre, in: Festschrift für Ulrich Klug zum 70. Geburtstag, hersg. v. G. Kohlmann, Köln 1983, S. 55–67.

    Google Scholar 

  5. K. Engisch, Logische Studien zur Gesetzesanwendung, 3. Aufl.

    Google Scholar 

  6. Heidelberg 1963, S. 15 (Sitzungsberichte der Heidelberger Akade- mie der Wissenschaften, phil.-hist. Kl., Jahrgang 1960 ).

    Google Scholar 

  7. AI and Legal Reasoning. Report of a panel chaired by Edwina L. Rissland. In: Proceedings der IJ CAI 1985, p. 1254 ss.

    Google Scholar 

  8. McCarty, L.T. and Sridharan, N.S., The Representation of an

    Google Scholar 

  9. Evolving System of Legal Concepts: II. Prototypes and Deforma- tions, in: Proceedings IJCAI 1981.

    Google Scholar 

  10. L. H. Fohmann, Die Informationale Programmiersprache IPL-Studie

    Google Scholar 

  11. zur 0 erationalisierung regelorientierter schlechtdefinierter nichtschematischer Entscheidungen-, München u. Wien 1985 (Berichte der Gesellschaft für Mathematik und Datenverarbeitung, Nr. 147).

    Google Scholar 

  12. Th. F. Gordon, Object-Oriented Predicate Logic and its Role in Representing Legal Knowledge, St. Augustin 1985(Arbeitspapiere der GMD, Nr. 135).

    Google Scholar 

  13. 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).

    Google Scholar 

  14. H. Fiedler und R. Traunm011er (Hrsg.), Formalisierung im Recht

    Google Scholar 

  15. und Ansätze juristischer Expertensysteme, Munchen 1986(1. Workshop des GI-AK “Formalisierung und formale Modelle im Recht”; Arbeitspapiere Rechtsinformatik, H. 21).

    Google Scholar 

  16. 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.).

    Google Scholar 

  17. 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.).

    Google Scholar 

  18. M. Brodie, J. Mylopoulos und J. Schmidt, On Conceptual Modelling, New York-Berlin-Heidelberg-Tokyo 1984 ( Springer Verl.).

    Book  MATH  Google Scholar 

  19. 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.).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fiedler, H., Traunmüller, R. (1986). Formalisierung im Recht und Juristische Expertensysteme. In: Hommel, G., Schindler, S. (eds) GI — 16. Jahrestagung II. Informatik-Fachberichte, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71389-7_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-71389-7_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16814-0

  • Online ISBN: 978-3-642-71389-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics