4595 search results - page 278 / 919 » Reasoning about Plans |
191
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— For path planning algorithms of robots it is important that the robot does not reach a state of inevitable collision. In crowded environments with many humans or robots...
315
click to vote
JIPS
2010
15 years 2 months ago
2010
Classical warranty plans require crisp data obtained from strictly controlled reliability tests. However, in a real situation these requirements might not be fulfilled. In an extre...
189
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
180
click to vote
LICS
2002
IEEE
16 years 10 days ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
205
click to vote
KR
2010
Springer
16 years 6 days ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...