Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Institution
University of New South Wales
School of Computer Science and Engineering
Adresse
Sydney NSW 2052
Australien
Sydney NSW 2052
Projekte
Sachbeihilfen
abgeschlossene Projekte
Entwicklung einer Axiomatisierungssprache für autonome Agenten und Roboter
(Antragsteller
Thielscher, Michael
)
General Game Playing - Universelle Spielprogramme
(Antragsteller
Thielscher, Michael
)
Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen
(Antragsteller
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
(Antragsteller
Baader, Franz
)
Kombination von Aktionsformalismen und nichtmonotonen Logiken zur Entwicklung von Methoden zur Planung und Entscheidungsfindung in komplexen Umgebungen
(Antragsteller
Brewka, Gerhard
;
Thielscher, Michael
)
Logikbasierte Wissensrepräsentation: Aktionsformalismen und Koordinationsfonds
(Antragsteller
Thielscher, Michael
)
Logikbasierte Wissensrepräsentation Teilprojekt: Aktionsformalismen + Koordination der Teilprojekte
(Antragsteller
Thielscher, Michael
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken
(Sprecher
Vogler, Heiko
)
Zusatzinformationen
© 2024
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung