4224 search results - page 229 / 845 » Reasoning about Choice |
184
click to vote
ECAI
2008
Springer
15 years 9 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 ...
185
click to vote
IJCAI
1989
15 years 8 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...
225
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
197
click to vote
CADE
2003
Springer
16 years 7 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...
157
click to vote
CAV
2007
Springer
16 years 1 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...