413 search results - page 21 / 83 » Decidable Reasoning in Terminological Knowledge Representati... |
IJMMS
2007
14 years 9 months ago
2007
: In information systems that support knowledge-discovery applications such as scientific exploration, reliance on highly structured ontologies as data-organization aids can be lim...
DLOG
1996
1996
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
14 years 11 months ago
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
IJCAI
1989
14 years 10 months ago
1989
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
CIKM
2007
Springer
15 years 3 months ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...