Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property.

Stephan Opfer, Stefan Jakob, Kurt Geihs

Browse the full ICAART paper archive.