1317 search results - page 126 / 264 » Fusions of Description Logics and Abstract Description Syste... |
179
click to vote
SFM
2007
Springer
16 years 16 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
187
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
148
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...
155
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...
164
click to vote
DLOG
2000
15 years 7 months ago
2000
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...