665 search results - page 131 / 133 » A proposal for an owl rules language |
ICAIL
2003
ACM
13 years 11 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
ESSLLI
1999
Springer
13 years 10 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
ICSE
2008
IEEE-ACM
2008
IEEE-ACM
Developing a security protocol for a distributed decision support system in a healthcare environment
14 years 7 months ago
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
SIGSOFT
2008
ACM
14 years 7 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
SAC
2010
ACM
14 years 1 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...