9145 search results - page 175 / 1829 » Description Logic Systems |
155
click to vote
OWLED
2007
15 years 7 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
128
click to vote
CLUSTER
2004
IEEE
15 years 9 months ago
2004
IEEE
The Rocks toolkit [9], [7], [10] uses a graph-based framework to describe the configuration of all node types (termed appliances) that make up a complete cluster. With hundreds of...
163
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...
147
click to vote
JAPLL
2007
15 years 5 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
179
click to vote
JLP
2007
15 years 5 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...