4573 search results - page 548 / 915 » Automated Reasoning |
148
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
137
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Most operators for merging multiple knowledge bases (where each is a set of formulae) aim to produce a knowledge base as output that best reflects the information available in the ...
139
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
The Transferable Belief Model is a powerful interpretation of belief function theory where decision making is based on the pignistic transform. Smets has proposed a generalization ...
151
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
182
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a novel method to process large scale, ground level Light Detection and Ranging (LIDAR) data to automatically detect geo-referenced navigation attributes (traf...