Sciweavers

3032 search results - page 402 / 607
» Description Logic Rules
Sort
View
102
Voted
AGENTS
2001
Springer
15 years 5 months ago
PHOSPHORUS: a task-based agent matchmaker
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...
Yolanda Gil, Surya Ramachandran
91
Voted
IDA
2001
Springer
15 years 5 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
98
Voted
AI
2000
Springer
15 years 5 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
83
Voted
ECAI
2000
Springer
15 years 5 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
98
Voted
IPPS
1998
IEEE
15 years 5 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