1966 search results - page 259 / 394 » Description Logics and Planning |
156
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
174
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
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...
160
click to vote
IDA
2001
Springer
15 years 10 months ago
2001
Springer
Fluents are logical descriptions of situations that persist, andcompositefluents are statistically significant temporal relationships(nearlyidentical withthosein Allen’stemporal...
166
click to vote
AI
2000
Springer
15 years 10 months ago
2000
Springer
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...
145
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...