Sciweavers

1388 search results - page 12 / 278
» Diagnosis of Plans and Agents
Sort
View
ATAL
2008
Springer
15 years 1 months ago
Petri net plans: a formal model for representation and execution of multi-robot plans
Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pi...
AAAI
2007
15 years 2 months ago
Purely Epistemic Markov Decision Processes
Planning under uncertainty involves two distinct sources of uncertainty: uncertainty about the effects of actions and uncertainty about the current state of the world. The most wi...
Régis Sabbadin, Jérôme Lang, N...
AAAI
2008
15 years 2 months ago
Clause Learning Can Effectively P-Simulate General Propositional Resolution
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, A...
AAAI
1990
15 years 27 days ago
Obtaining Quantitative Predictions from Monotone Relationships
: Tasks such as forecasting, diagnosis, and planning frequently require quantitative predictions . Typically, quantitative predictions are obtained by characterizing a system in te...
Joseph L. Hellerstein
81
Voted
AAAI
1994
15 years 1 months ago
Genetic Programming and AI Planning Systems
Genetic programming (GP) is an automatic programming technique that has recently been applied to a wide range of problems including blocks-world planning. This paper describes a s...
Lee Spector