首页 /研究 /Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property
OTHER

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

Stephan Opfer, Stefan Jakob, Kurt Geihs

发表年份
2018
引用次数
5

关键词

Computer scienceAnswer set programmingScalabilitySolverProperty (philosophy)Artificial intelligenceAutomated planning and schedulingSemantics (computer science)Set (abstract data type)Robot

相关论文

查看 OTHER 分类全部论文