431 search results - page 43 / 87 » R-calculus: A Logical Approach for Knowledge Base Maintenanc... |
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
KI
1999
Springer
14 years 29 days ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
WLP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
WLP
2004
Springer
14 years 2 months ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
CLIMA
2004
13 years 10 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...