Publication:2734939
From MaRDI portal
zbMath0979.68115MaRDI QIDQ2734939
Publication date: 30 August 2001
68T40: Artificial intelligence for robotics
Related Items
An attempt to formalise a non-trivial benchmark problem in common sense reasoning, Logic-based subsumption architecture, ${\cal B}$ -Tropos