4595 search results - page 147 / 919 » Reasoning about Plans |
198
Voted
AAMAS
2007
Springer
15 years 7 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
176
Voted
DLOG
1997
15 years 8 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
179
click to vote
ADC
2004
Springer
16 years 13 days ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
224
Voted
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
178
Voted
FLAIRS
2008
15 years 9 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...