Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
University of New South Wales
School of Computer Science and Engineering
Address
Sydney NSW 2052
Australien
Sydney NSW 2052
Projects
Research Grants
Completed projects
Entwicklung einer Axiomatisierungssprache für autonome Agenten und Roboter
(Applicant
Thielscher, Michael
)
General Game Playing - Universelle Spielprogramme
(Applicant
Thielscher, Michael
)
Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen
(Applicant
Baader, Franz
)
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
(Applicant
Baader, Franz
)
Kombination von Aktionsformalismen und nichtmonotonen Logiken zur Entwicklung von Methoden zur Planung und Entscheidungsfindung in komplexen Umgebungen
(Applicants
Brewka, Gerhard
;
Thielscher, Michael
)
Logikbasierte Wissensrepräsentation: Aktionsformalismen und Koordinationsfonds
(Applicant
Thielscher, Michael
)
Logikbasierte Wissensrepräsentation Teilprojekt: Aktionsformalismen + Koordination der Teilprojekte
(Applicant
Thielscher, Michael
)
Research Training Groups
Completed projects
GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics
(Spokesperson
Vogler, Heiko
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung