8 search results - page 2 / 2 » An Integration of Deductive Retrieval into Deductive Synthes... |
SAC
2006
ACM
13 years 10 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
CADE
2008
Springer
14 years 5 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...
COSIT
2009
Springer
13 years 2 months ago
2009
Springer
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....