Home /Research /Logic-based subsumption architecture
OTHER

Logic-based subsumption architecture

Eyal Amir, Pedrito Maynard-Reid

Year
2003
Citations
16

Keywords

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

Related papers

Browse all OTHER papers