3573 search results - page 164 / 715 » Reasoning about Codata |
109
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
A child, or young human-like robot of the future, needs to develop an information-processing architecture, forms of representation, and mechanisms to support perceiving, manipulati...
134
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
During the last years, argumentation has been gaining increasing interest in modeling different reasoning tasks of an agent. Many recent works have acknowledged the importance of ...
115
Voted
IJCAI
1989
15 years 4 months ago
1989
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
122
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
99
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...