Sciweavers

2651 search results - page 385 / 531
» Beliefs in Agent Implementation
Sort
View
AAAI
1998
13 years 11 months ago
Inferring State Constraints for Domain-Independent Planning
Wedescribe somenewpreprocessing techniques that enable faster domain-independentplanning. Thefirst set of techniquesis aimedat inferring state constraints from the structure of pl...
Alfonso Gerevini, Lenhart K. Schubert
AAAI
2000
13 years 11 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
13 years 11 months ago
Dynamic Ontologies on the Web
We discuss the problems associated with managing ontologies in distributed environments such as the Web. The Web poses unique problems for the use of ontologies because of the rap...
Jeff Heflin, James A. Hendler
AAAI
2000
13 years 11 months ago
An Algorithm for Multi-Unit Combinatorial Auctions
We present a novel algorithm for computing the optimal winning bids in a combinatorial auction (CA), that is, an auction in which bidders bid for bundles of goods. All previously ...
Kevin Leyton-Brown, Yoav Shoham, Moshe Tennenholtz
AAAI
2000
13 years 11 months ago
Visual Event Classification via Force Dynamics
This paper presents an implemented system, called LEONARD, that classifies simple spatial motion events, such as pick up and put down, from video input. Unlike previous systems th...
Jeffrey Mark Siskind