Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Michael Thielscher

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

Projects

As Applicant
- Completed projects
  - Entwicklung einer Axiomatisierungssprache für autonome Agenten und Roboter (Research Grants)
  - Logikbasierte Wissensrepräsentation Teilprojekt: Aktionsformalismen + Koordination der Teilprojekte (Research Grants)
  - Logikbasierte Wissensrepräsentation: Aktionsformalismen und Koordinationsfonds (Research Grants)
  - Kombination von Aktionsformalismen und nichtmonotonen Logiken zur Entwicklung von Methoden zur Planung und Entscheidungsfindung in komplexen Umgebungen (Research Grants)
  - General Game Playing - Universelle Spielprogramme (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics (Research Training Groups)
As Participating Person
- Completed projects
  - 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 (Research Grants)
  - Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen (Research Grants)

© 2025 DFG Disclaimer / Copyright / Privacy Policy