Sciweavers

7335 search results - page 1258 / 1467
» Scene Based Reasoning
Sort
View
AAAI
2008
15 years 8 months ago
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
Stavros Vassos, Hector J. Levesque
AAAI
2007
15 years 8 months ago
An Intelligent System for Chinese Calligraphy
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...
Songhua Xu, Hao Jiang, Francis Chi-Moon Lau, Yunhe...
AAAI
2007
15 years 8 months ago
Approximating OWL-DL Ontologies
Efficient query answering over ontologies is one of the most useful and important services to support Semantic Web applications. Approximation has been identified as a potential...
Jeff Z. Pan, Edward Thomas
AAAI
2007
15 years 8 months ago
Knowledge Compilation Properties of Tree-of-BDDs
We present a CNF to Tree-of-BDDs (ToB) compiler with complexity at most exponential in the tree width. We then present algorithms for interesting queries on ToB. Although some of ...
Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef ...
AIPS
2008
15 years 8 months ago
Bounded-Parameter Partially Observable Markov Decision Processes
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...
Yaodong Ni, Zhi-Qiang Liu
« Prev « First page 1258 / 1467 Last » Next »