1285 search results - page 120 / 257 » Description Logic Reasoner: System Description |
171
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
183
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The paper presents an ontology-based approach to service discovery, apt to support flexible and efficient matchmaking between service descriptions. We propose a hybrid approach th...
205
click to vote
CLEIEJ
2007
15 years 6 months ago
2007
This paper presents a description of the environments of individualized learning (Based on the Intelligent Tutoring Systems, ITS), the Computer Supported Collaborative Learning (C...
180
click to vote
INTERACT
2003
15 years 7 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
193
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...