5243 search results - page 113 / 1049 » Reasoning About Strategies |
154
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
155
click to vote
DLOG
1997
15 years 7 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...
151
click to vote
ENTCS
2010
15 years 6 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
158
click to vote
ADC
2004
Springer
15 years 11 months 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...
194
click to vote
APLAS
2007
ACM
15 years 10 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...