TU Darmstadt / ULB / TUbiblio

Multi-Agent Plan Verification with Answer Set Programming

Opfer, Stephan and Geihs, Kurt and Niemczyk, Stefan (2016):
Multi-Agent Plan Verification with Answer Set Programming.
In: ACM Workshop on Model-Driven Robot Software Engineering (MORSE), ACM, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Opfer, Stephan and Geihs, Kurt and Niemczyk, Stefan
Title: Multi-Agent Plan Verification with Answer Set Programming
Language: English
Title of Book: ACM Workshop on Model-Driven Robot Software Engineering (MORSE)
Publisher: ACM
Divisions: LOEWE
LOEWE > LOEWE-Schwerpunkte
LOEWE > LOEWE-Schwerpunkte > NiCER – Networked infrastructureless Cooperation for Emergency Response
Date Deposited: 15 Aug 2017 13:25
Identification Number: o16
Export:

Optionen (nur für Redakteure)

View Item View Item