Skip to main content Skip to main navigation

Projekt

GenMod

Generische Algorithmen und Komplexitätsschranken für Koalgebraische Modallogiken

  • Laufzeit:
  • 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.

Fördergeber

DFG - Deutsche Forschungsgemeinschaft

SCHR 1118/65-1

DFG - Deutsche Forschungsgemeinschaft

Projekt teilen auf:

Keyfacts

Publikationen zum Projekt

Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra

Lutz Schröder; Dirk Pattinson

In: Mathematical Structures in Computer Science (MSCS), Vol. 21, No. 2, Pages 235-266, Cambridge University Press, Cambridge, 3/2011.

Zur Publikation

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.

Zur Publikation

Cut Elimination in Coalgebraic Logics

Dirk Pattinson; Lutz Schröder

In: Information and Computation (Inform. Comput.), Vol. 208, Pages 1447-1468, Elsevier, Amsterdam, 12/2010.

Zur Publikation
Alle Publikationen