2519 search results - page 271 / 504 » Reasoning with Textual Cases |
156
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
191
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
180
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
204
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
192
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...