Sciweavers

AAAI
2004
13 years 5 months ago
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
Vincent Vidal, Hector Geffner
AAAI
2004
13 years 5 months ago
Towards Efficient Sampling: Exploiting Random Walk Strategies
From a computational perspective, there is a close connection between various probabilistic reasoning tasks and the problem of counting or sampling satisfying assignments of a pro...
Wei Wei, Jordan Erenrich, Bart Selman
AAAI
2004
13 years 5 months ago
Artemis: Integrating Scientific Data on the Grid
Rattapoom Tuchinda, Snehal Thakkar, Yolanda Gil, E...
AAAI
2004
13 years 5 months ago
Regression with Respect to Sensing Actions and Partial States
Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son
AAAI
2004
13 years 5 months ago
Encoding Probabilistic Causal Model in Probabilistic Action Language
Pearl's probabilistic causal model has been used in many domains to reason about causality. Pearl's treatment of actions is very different from the way actions are repre...
Nam Tran, Chitta Baral
AAAI
2004
13 years 5 months ago
Reconstruction of 3D Models from Intensity Images and Partial Depth
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...
Luz Abril Torres-Méndez, Gregory Dudek
AAAI
2004
13 years 5 months ago
Identifying Linear Causal Effects
This paper concerns the assessment of linear cause-effect relationships from a combination of observational data and qualitative causal structures. The paper shows how techniques ...
Jin Tian
AAAI
2004
13 years 5 months ago
Additive versus Multiplicative Clause Weighting for SAT
This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...
John Thornton, Duc Nghia Pham, Stuart Bain, Valnir...
AAAI
2004
13 years 5 months ago
Agent-based Simulation of Geo-Political Conflict
The intelligence analysis task of anticipating crises and providing decision makers with reasonable (supportable, explainable)possiblefuturesisextremelydifficult.Toperform this ta...
Glenn Taylor, Richard Frederiksen, Russell R. Vane...
AAAI
2004
13 years 5 months ago
Intelligent Agents for Coalition Search and Rescue Task Support
The Coalition Search and Rescue Task Support demonstration shows cooperative agents supporting a highly dynamic mission in which AI task planning, inter-agent collaboration, workf...
Austin Tate, Jeff Dalton, Clauirton de Siebra, J. ...