首页 /研究 /Logic-based subsumption architecture
OTHER

Logic-based subsumption architecture

Eyal Amir, Pedrito Maynard-Reid

发表年份
2003
引用次数
16

关键词

ArchitectureComputer scienceSemantics (computer science)Task (project management)Layer (electronics)First-order logicRobotCircumscriptionAutomated theorem provingArtificial intelligence

相关论文

查看 OTHER 分类全部论文