2308 search results - page 91 / 462 » Representing Symbolic Reasoning |
165
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
158
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
e-Services are just like normal services, but can be ordered and provisioned via the Internet completely. Increasingly, these e-services are offered as a multi-supplier bundle of e...
239
click to vote
EIS
2011
15 years 1 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
151
click to vote
DALT
2009
Springer
16 years 26 days ago
2009
Springer
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
149
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...