Sciweavers

4835 search results - page 475 / 967
» Intelligent Selection Tools
Sort
View
AAAI
2000
15 years 8 months ago
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltr...
AAAI
2000
15 years 8 months ago
Solving Combinatorial Auctions Using Stochastic Local Search
Combinatorial auctions (CAs) have emerged as an important model in economics and show promise as a useful tool for tackling resource allocation in AI. Unfortunately, winner determ...
Holger H. Hoos, Craig Boutilier
AAAI
1994
15 years 8 months ago
Termination Analysis of OPS5 Expert Systems
Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded ...
Hsiu-yen Tsai, Albert Mo Kim Cheng
AAAI
1996
15 years 8 months ago
Monitoring Frog Communities: An Application of Machine Learning
Automatic recognition of animal vocalisations would be a valuable tool for a variety of biological research and environmental monitoring applications . We report the development o...
Andrew Taylor, Graeme Watson, Gordon Grigg, Hamish...
AIPS
1994
15 years 8 months ago
Control Knowledge to Improve Plan Quality
Generating production-quality plans is an essential element in transforming planners from research tools into real-world applications. However most of the work to date on learning...
M. Alicia Pérez, Jaime G. Carbonell