2308 search results - page 80 / 462 » Representing Symbolic Reasoning |
179
click to vote
WLP
2004
Springer
15 years 11 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...
159
click to vote
UAI
2003
15 years 7 months ago
2003
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
120
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...
143
click to vote
VL
2007
IEEE
15 years 12 months ago
2007
IEEE
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
157
Voted
CIT
2006
Springer
15 years 9 months ago
2006
Springer
Early question and answering (QA) systems focused on keyword search among documents for answers. However, such systems can only answer fact-based questions. It becomes clear that ...