1545 search results - page 211 / 309 » Defeasible Description Logics |
ADC
2004
Springer
14 years 1 months ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
KI
2004
Springer
14 years 1 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...
NMR
2004
Springer
14 years 1 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...
AGENTS
2001
Springer
14 years 13 days 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...
IDA
2001
Springer
14 years 11 days ago
2001
Springer
Fluents are logical descriptions of situations that persist, andcompositefluents are statistically significant temporal relationships(nearlyidentical withthosein Allen’stemporal...