Sciweavers

3719 search results - page 105 / 744
» RACER System Description
Sort
View
149
Voted
ICLP
2007
Springer
15 years 11 months ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...
135
Voted
IJAOSE
2008
68views more  IJAOSE 2008»
15 years 5 months ago
Engineering manufacturing control systems using PROSA and delegate MAS
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...
Paul Verstraete, Bart Saint Germain, Paul Valckena...
136
Voted
JLP
2006
126views more  JLP 2006»
15 years 5 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
162
Voted
ISMIR
2005
Springer
148views Music» more  ISMIR 2005»
15 years 10 months ago
Foafing the Music: A Music Recommendation System based on RSS Feeds and User Preferences
In this paper we give an overview of the Foafing the Music system. The system uses the Friend of a Friend (FOAF) and Rich Site Summary (RSS) vocabularies for recommending music t...
Òscar Celma, Miquel Ramírez, Perfect...
174
Voted
BTW
1999
Springer
129views Database» more  BTW 1999»
15 years 9 months ago
Dual Retrieval in Conceptual Information Systems
Conceptual Information Systems provide a multi-dimensional conceptually structured view on data stored in relational databases. On restricting the expressiveness of the retrieval l...
Gerd Stumme