Sciweavers

3058 search results - page 195 / 612
» From Intelligent Agents to Intelligent Beings
Sort
View
AAAI
2010
15 years 8 months ago
A Novel Transition Based Encoding Scheme for Planning as Satisfiability
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
Ruoyun Huang, Yixin Chen, Weixiong Zhang
AAAI
2010
15 years 8 months ago
Ordered Completion for First-Order Logic Programs on Finite Structures
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
AAAI
2006
15 years 8 months ago
Acquiring Constraint Networks Using a SAT-based Version Space Algorithm
Constraint programming is a commonly used technology for solving complex combinatorial problems. However, users of this technology need significant expertise in order to model the...
Christian Bessière, Remi Coletta, Fré...
AAAI
2006
15 years 8 months ago
Comparative Experiments on Sentiment Classification for Online Product Reviews
Evaluating text fragments for positive and negative subjective expressions and their strength can be important in applications such as single- or multi- document summarization, do...
Hang Cui, Vibhu O. Mittal, Mayur Datar
AAAI
2004
15 years 8 months ago
SenseClusters - Finding Clusters that Represent Word Senses
SenseClusters is a freely available word sense discrimination system that takes a purely unsupervised clustering approach. It uses no knowledge other than what is available in a r...
Amruta Purandare, Ted Pedersen