Logo der Freien Universität BerlinFreie Universität Berlin

Fachbereich Mathematik und Informatik


Service-Navigation

  • Startseite
  • Personen
  • Kontakt
  • Imprint
  • Datenschutz
Hinweise zur Datenübertragung bei der Google™ Suche
Fachbereich Mathematik und Informatik/Informatik/

Dahlem Center for Machine Learning and Robotics

Menü
  • Members

    loading...

  • Open Positions

    loading...

  • Publications

    loading...

  • Teaching

    loading...

  • Theses

    loading...

  • Projekte

    loading...

  • News

    loading...

  • Videos

    loading...

  • FAQs

    loading...

Mikronavigation

  • Startseite
  • Informatik
  • Arbeitsgruppen
  • Dahlem Center for Machine Learning and Robotics
  • News
  • C. Benzmüller mit John-Jules Meyer Best Paper Award ausgezeichnet

C. Benzmüller mit John-Jules Meyer Best Paper Award ausgezeichnet

News vom 14.08.2018

Christoph Benzmüller wurde bei der DEON-2018 Konferenz in Utrecht (https://deon2018.sites.uu.nl) mit dem John-Jules Meyer Best Paper Award ausgezeichnet. Diese Arbeit zur Automatisierung anspruchsvoller deontischer Logiken ist Ergebnis der engen Kooperation von Christoph Benzmüller mit der Universität Luxembourg. Deontische Logiken haben praxisrelevante Anwendungen in der Formalisierung von regulatorischen und normativen Texten (z.B. juristische Texte, ethische Theorien, etc.).

A Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (Jan Broersen, Cleo Condoravdi, Shyam Nair, Gabriella Pigozzi, eds.), College Publications, pp. 33-50, 2018.

3/17
be-digital Pressekonferenz am 07.12.15Mexico Oktober 2015MiG Mexico 2015Finalisten German Open 2014Simulator-Erfinder: Professor Raul Rojas (l.) und David Dormagen von der AG Intelligente Systeme und RobotikMadeInGermany in MexicoThe Tony Sale Award winners 2014: Robert B Garner (L) and  Raul Rojas (R), Nov. 2014Able und BakerCarolo-Cup-Team2014Formalisierung und Automatisierung von Gödels GottesbeweisAutoNOMOS-Team 2011Besuch Senatorin Yzer am 22.03.13Die autonomen Fahrzeuge der AG Intelligente Systeme und RobotikArchaeocopterMulticopterEntwicklung einer Roboterbiene

Dates

spinner

News

spinner

Service-Navigation

  • Startseite
  • Personen
  • Kontakt
  • Imprint
  • Datenschutz

Diese Seite

  • Drucken
  • RSS-Feed abonnieren