262 search results - page 28 / 53 » Reasoning and Explanation in EL and in Expressive Descriptio... |
119
click to vote
ROBOCUP
1999
Springer
15 years 6 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...
122
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
138
click to vote
DLOG
2000
15 years 3 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
117
click to vote
DLOG
1997
15 years 3 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...
111
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...