1941 search results - page 64 / 389 » Reasoning about Computations Using Two-Levels of Logic |
145
click to vote
IEEEHPCS
2010
15 years 1 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...
185
click to vote
FUIN
2007
15 years 3 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
105
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
139
click to vote
KR
1998
Springer
15 years 7 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
125
click to vote
FAC
2007
15 years 3 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...