786 search results - page 142 / 158 » Description Logics in Ontology Applications |
279
Voted
KR
2010
Springer
15 years 6 months ago
2010
Springer
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
134
click to vote
ATAL
1995
Springer
15 years 5 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
147
Voted
AIA
2006
15 years 3 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
128
click to vote
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
100
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...