2214 search results - page 164 / 443 » Complexity of Reasoning |
146
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
108
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
128
Voted
COMPGEOM
2006
ACM
15 years 9 months ago
2006
ACM
It is a widely observed phenomenon in computer graphics that the size of the silhouette of a polyhedron is much smaller than the size of the whole polyhedron. This paper provides,...
136
Voted
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
129
Voted
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...