Sciweavers

1498 search results - page 202 / 300
» Description logic for coalitions
Sort
View
IDA
2001
Springer
15 years 2 months ago
Fluent Learning: Elucidating the Structure of Episodes
Fluents are logical descriptions of situations that persist, andcompositefluents are statistically significant temporal relationships(nearlyidentical withthosein Allen’stemporal...
Paul R. Cohen
AI
2000
Springer
15 years 2 months ago
On the Integration of Recursive ALN-Theories
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
Aida Vitória, Margarida Mamede
ECAI
2000
Springer
15 years 2 months ago
Explaining ALC Subsumption
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...
Alexander Borgida, Enrico Franconi, Ian Horrocks
IPPS
1998
IEEE
15 years 2 months ago
PACE: Processor Architectures for Circuit Emulation
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...
Reiner Kolla, Oliver Springauf
DATE
1997
IEEE
107views Hardware» more  DATE 1997»
15 years 2 months ago
Acceleration of behavioral simulation on simulation specific machines
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...
Minoru Shoji, Fumiyasu Hirose, Shintaro Shimogori,...