3446 search results - page 171 / 690 » A Reasoning Algorithm for pD* |
137
click to vote
ICTAI
1996
IEEE
15 years 8 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 ...
146
Voted
DATE
2008
IEEE
15 years 6 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...
130
click to vote
COLING
2008
15 years 5 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...
144
click to vote
MKM
2007
Springer
15 years 10 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....
124
Voted
GIS
2006
ACM
15 years 4 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 ...