Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Michael Thielscher

Adresse University of New South Wales
School of Computer Science and Engineering
Sydney NSW 2052
Australien

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Entwicklung einer Axiomatisierungssprache für autonome Agenten und Roboter (Sachbeihilfen)
  - Logikbasierte Wissensrepräsentation Teilprojekt: Aktionsformalismen + Koordination der Teilprojekte (Sachbeihilfen)
  - Logikbasierte Wissensrepräsentation: Aktionsformalismen und Koordinationsfonds (Sachbeihilfen)
  - Kombination von Aktionsformalismen und nichtmonotonen Logiken zur Entwicklung von Methoden zur Planung und Entscheidungsfindung in komplexen Umgebungen (Sachbeihilfen)
  - General Game Playing - Universelle Spielprogramme (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken (Graduiertenkollegs)
Als Beteiligte Person
- abgeschlossene Projekte
  - Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen und ihre Anwendung zur Beschreibung von Services im Semantischen Web (Sachbeihilfen)
  - Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen (Sachbeihilfen)

© 2025 DFG Kontakt / Impressum / Datenschutz