1941 search results - page 30 / 389 » Reasoning about Computations Using Two-Levels of Logic |
124
click to vote
JUCS
2008
15 years 1 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
115
click to vote
CACM
2010
15 years 2 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
108
click to vote
AIPS
1996
15 years 3 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
124
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
106
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...