2395 search results - page 418 / 479 » Reasoning in Semantic Wikis |
161
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Matchmaking will be an important component of future agent and agent-like systems, such as the semantic web. Most research on matchmaking has been directed toward sophisticated ma...
172
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
186
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
167
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
165
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...