3446 search results - page 171 / 690 » A Reasoning Algorithm for pD* |
196
click to vote
ICTAI
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
189
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, the problem of spatial mapping is defined. Reasons are presented to show why performing spatial mappings at run-time is both necessary and desirable and criteria fo...
172
click to vote
COLING
2008
15 years 8 months ago
2008
Reasoning about how much to generate when space is limited is a challenge for generation systems. This paper presents two algorithms that exploit the discourse structure to decide...
189
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
176
click to vote
GIS
2006
ACM
15 years 7 months ago
2006
ACM
Integration of two road maps is finding a matching between pairs of objects that represent, in the maps, the same realworld road. Several algorithms were proposed in the past for ...