Notes: Suggested Reading s are for student enrichment, and students will not be tested on those readings' content. Slides: pdf.
Publications by Daniel S. Weld
Suggested reading: Myers, K. Slides: ppt. Yolanda's slides: PDF , powerpoint. Jose Luis's slides: PDF , powerpoint. AI Magazine, summer Causal Link Planning. See Weld survey, Manuela Veloso and Jim Blythe. Planning as propositional satisfiability. Kautz and Selman, on Satplan planner.
Yang, Qiang (楊強)
Kautz and Selman, on Black box constraint solver. Blum, A. Fast planning through planning graph analysis.
Conditional planning. Has a free lisp implementation, but it's not super scalable i. O number of possible worlds. Paper is pretty technical. Model-based Reactive Planning:. Williams, B. Interleaved Planning and Execution:. Ambros-Ingerson, J and Steel, S. AAAI, ? Reid Simmons, Task Control Architecture. See Reid Simmons web page, www. Georgeff and Lansky, Procedural Reasoning System. Reference TBD. Learning in Planning and Execution:. Manuela Veloso, Jaime Carbonell, M. Karen Haigh and Manuela Veloso.
Learning situation-dependent costs: Improving planning from probabilistic robot execution. Robotics and Autonomous Systems, Jim Blythe and Manuela Veloso, Analogical replay for efficient conditional planning. Proceedings of AAAI, Planning and Execution with Resources and Time:.
- Artificial Intelligence Planning Systems.
- Lonnie Chrisman's Home Page.
- Spinach for Breakfast: How to Live Longer for All Ages, Particularly for 65 and Older.
- Arguments and Metaphors in Philosophy.
- An Approach to Safe Continuous Planning | SpringerLink?
- Progress in Physical Organic Chemistry, Volume 1;
Smith, Frank and Jonsson, "Bridging the gap between planning and scheduling. See Professor Williams for a copy of the paper. Temporal Planning:. Metric Quantities:. Executing Temporal Plans:.
Proceedings of the Library 184/2
Muscettola and others on efficient plan running. See Professor Williams for suggested papers. Bayesian Networks in Embedded Systems:. Daphne Koller et al. A structured language for Bayes nets best student paper award.. A general inference procedure. Judea Pearl, new book on causality, chapter 1. UAI-oriented graduate class web pages with tutorials, class notes, links to free software, etc.
Common core includes basic semantics of Bayes Nets and inference. Many expand on advanced inference and learning.https://nentobolsso.ga
Artificial Intelligence Planning Systems
Multi-agent Systems:. Automated Verification:. Symbolic model checking:. Kluwer Publishers. The key book in the area he started it all. Edmund Clark group at CMU.
Kautz, C. Gomes, B. Selman International Journal of Robotics Research , 26 1 , pp. Wyatt, T. Choudhury, and H. Choudhury, J. Bilmes, and H. Brown, Mark Harniss, Kurt Johnson Deconstructing Planning as Satisfiability. SatPlan: Planning as Satisfiability. Location-Based Activity Recognition. Weld Extending Continuous Time Bayesian Networks. Heuristics for Fast Exact Model Counting. Nareyek, E. Freuder, R. Fourer, E. Giunchiglia, R. Goldman, H. Kuatz, J. Rintanen, and A.
Tate Constraints and AI Planning. Data Set.