4670 search results - page 54 / 934 » Toward meaningful computing |
ERCIMDL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
IMTCI
2004
Springer
14 years 2 months ago
2004
Springer
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
ICAIL
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
DNA
2001
Springer
14 years 1 months ago
2001
Springer