1512 search results - page 207 / 303 » Description Logic Terminology |
ECAI
2000
Springer
14 years 6 days 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...
IPPS
1998
IEEE
14 years 4 days ago
1998
IEEE
We describe a family of reconfigurable parallel architectures for logic emulation. They are supposed to be applicable like conventional FPGAs, while covering a larger range of circ...
DATE
1997
IEEE
14 years 3 days 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 ...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
ECOOPW
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...