575 search results - page 14 / 115 » Transition systems for designing and reasoning about norms |
ASSETS
2010
ACM
14 years 11 months ago
2010
ACM
We conducted interviews with blind and deaf-blind people to understand how they use the public transit system. In this paper, we discuss key challenges our participants faced and ...
100
click to vote
JURIX
2008
15 years 22 days ago
2008
In this paper we present an approach to abductive reasoning in law by examining it in the context of an argumentation scheme for practical reasoning. We present a particular scheme...
AIM
2004
14 years 11 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
SAC
2008
ACM
14 years 10 months ago
2008
ACM
Open MASs can be extremely dynamic due to heterogeneous agents that migrate among them to obtain resources or services not found locally. In order to prevent malicious actions and...
BCS
2008
15 years 23 days ago
2008
Programs are fragile for many reasons, including software errors, partial failures, and network problems. One way to make software more robust is to design it from the start as a ...