1746 search results - page 189 / 350 » A Constructive Semantics for ALC |
151
Voted
CONCUR
2005
Springer
16 years 17 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
156
Voted
EMSOFT
2005
Springer
16 years 17 days ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
198
Voted
SEMWEB
2005
Springer
16 years 16 days ago
2005
Springer
This paper presents our ongoing effort on developing a principled methodology for automatic ontology mapping based on BayesOWL, a probabilistic framework we developed for modeling ...
204
Voted
ASP
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
205
click to vote
COMPSAC
2002
IEEE
16 years 9 hour ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...