2067 search results - page 300 / 414 » Logics of propositional control |
158
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
155
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
168
click to vote
SIGKDD
2000
15 years 6 months ago
2000
This article points out some very serious misconceptions about the brain in connectionism and artificial neural networks. Some of the connectionist ideas have been shown to have l...
176
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Clock skew minimization is always very important in the clock tree synthesis. Due to clock gating, the clock tree may include different types of logic gates, e.g., AND gates, OR g...
229
click to vote
DAMAS
2005
Springer
15 years 12 months ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...