2395 search results - page 418 / 479 » Reasoning in Semantic Wikis |
ATAL
2005
Springer
14 years 2 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...
CIKM
2005
Springer
14 years 2 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...
EMSOFT
2005
Springer
14 years 2 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...
FASE
2005
Springer
14 years 2 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...
ICLP
2005
Springer
14 years 2 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 ...