Sciweavers

Share
AAAI
2008
8 years 5 months ago
Human-Robot Collaboration for Remote Surveillance
Evan Sultanik, Ilya Braude, Peter Thai, Robert N. ...
AAAI
2008
8 years 5 months ago
Bimodal Spatial Reasoning with Continuous Motion
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
Samuel Wintermute, John E. Laird
AAAI
2008
8 years 5 months ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
Yilan Gu, Mikhail Soutchanski
AAAI
2008
8 years 5 months ago
Personalized Reasoner Based on Belief Strengths of Information Sources
Traditionally, only “individual-independent” facts are inputted to a reasoner. The reasoner will produce the same answer to the same question, regardless of who the questioner...
Shu-Bin Cai, Zhong Ming, Shi-xian Li
AAAI
2008
8 years 5 months ago
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
Paul Fodor
AAAI
2008
8 years 5 months ago
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...
Fangzhen Lin, Pingzhong Tang
AAAI
2008
8 years 5 months ago
Decision-Theoretic User Interface Generation
Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbr...
AAAI
2008
8 years 5 months ago
Intelligent Output Interface for Intelligent Medical Search Engine
To facilitate ordinary people to search medical information, we have built an intelligent medical Web search engine called iMed. iMed uses medical knowledge and an interactive que...
Gang Luo
AAAI
2008
8 years 6 months ago
Dimension Amnesic Pyramid Match Kernel
With the success of local features in object recognition, feature-set representations are widely used in computer vision and related domains. Pyramid match kernel (PMK) is an effi...
Yi Liu, Xulei Wang, Hongbin Zha
AAAI
2008
8 years 6 months ago
POIROT - Integrated Learning of Web Service Procedures
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...
Mark H. Burstein, Robert Laddaga, David McDonald, ...
books