Skip to main content Skip to main navigation

Projekt | GenMod

Laufzeit:

Generische Algorithmen und Komplexitätsschranken für Koalgebraische Modallogiken

Forschungsthemen

  • Sonstige

Anwendungsfelder

  • Sonstige

Dieses Projekt entwickelt eine Erweiterung herkömmlicher existierender generisches algorithmischer Methoden für koalgebraische Modallogik, welches als ein generisches semantisches Rahmenwerk in allgemeinem Sinne angesehen werden. Darüber hinause werden die so entwickelten Algorithmen in einem Werkzeug implementiert, welches damit den bestehenden Coalgebraic Logic Satisfiability Solver (CoLoSS) erweitert.

Publikationen zum Projekt

  1. Description Logics and Fuzzy Probability

    Lutz Schröder; Dirk Pattinson

    In: Toby Walsh (Hrsg.). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2011), July 16-22, Barcelona, Spain, AAAI Press, Menlo Park, CA, 2011.

Fördergeber

DFG - Deutsche Forschungsgemeinschaft

SCHR 1118/65-1

DFG - Deutsche Forschungsgemeinschaft