2308 search results - page 44 / 462 » Representing Symbolic Reasoning |
164
click to vote
AAAI
1990
15 years 6 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
157
click to vote
AI
2004
Springer
15 years 5 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
147
click to vote
COMPSAC
2008
IEEE
15 years 12 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
149
click to vote
CONCUR
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
147
click to vote
KES
2006
Springer
15 years 5 months ago
2006
Springer
Abstract In general, avatar-based communication has a merit that it can represent non-verbal information. The simplest way of representing the non-verbal information is to capture ...