TU Darmstadt / ULB / TUbiblio

Multi-Agent Plan Verification with Answer Set Programming

Opfer, Stephan ; Geihs, Kurt ; Niemczyk, Stefan (2016)
Multi-Agent Plan Verification with Answer Set Programming.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2016
Autor(en): Opfer, Stephan ; Geihs, Kurt ; Niemczyk, Stefan
Art des Eintrags: Bibliographie
Titel: Multi-Agent Plan Verification with Answer Set Programming
Sprache: Englisch
Publikationsjahr: 2016
Verlag: ACM
Buchtitel: ACM Workshop on Model-Driven Robot Software Engineering (MORSE)
Fachbereich(e)/-gebiet(e): LOEWE
LOEWE > LOEWE-Schwerpunkte
LOEWE > LOEWE-Schwerpunkte > NICER – Vernetzte infrastrukturlose Kooperation zur Krisenbewältigung
Hinterlegungsdatum: 15 Aug 2017 13:25
Letzte Änderung: 12 Dez 2018 14:05
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen