3793 search results - page 27 / 759 » Expressive Description Logics |
DLOG
1997
14 years 11 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
EKAW
2008
Springer
14 years 11 months ago
2008
Springer
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...
CLIMA
2004
14 years 11 months ago
2004
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
DLOG
2006
14 years 11 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
ROBOCUP
1999
Springer
15 years 2 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...