Stephan Opfer

  • Citations Per Year
Learn More
A stationary robot in an assembly line expects to execute all its hard-coded movements without any collision. Its recognition is limited to its tasks and the corresponding area of operation. In case of a failure an alarm is given and it stops working until a human being corrects the fault. The assembly robot does not react independently, which is the exact(More)
Teams of agents, solving complex tasks in dynamic environments, require high-quality information about the current situation. One way of achieving high-quality information is reliable information processing, that is suitable for the application domain. However, the characteristics of some domains such as disaster scenarios are partially unknown at(More)
Die Unterstützung durch logisches Schlussfolgern während der Modellierung von Multi-Agenten-Plänen erhöht die Qualität der Ergebnisse und die Effizienz des Modellierungsprozesses. Daher haben wir die Anwendbarkeit eines auf Beschreibungslogik basierenden Verfahrens für die Multi-Agenten-Modellierungssprache ALICA untersucht. Wir wählten SROIQ als eine der(More)
Reasoning about multi-agent plans allows to detect modelling failures and to improve the efficiency of the modelling process. Therefore, we evaluate the applicability of an answer set programming based reasoning support for the multiagent modelling language ALICA. For a proper judgement several reasoning tasks of different complexity are investigated. The(More)
  • 1