Artificial Intelligence Reading Group Past  Readings

Past Readings

Week 14 (10/13/97)

• Givens, Obvious Properties of Computer Programs, in Proceedings of AAAI-97.

Week 12 & 13. (9/17/97, 9/24/97)

• Bowen, Agents and Creativity.
• Elliott, Using the Affective Reasoner to Support Social Simulations.

Week 11. (9/10/97)

• Lenat and Brown, Why AM and EURISKO Appear to Work.

Week 10. (9/3/97)

• Conati et al., On-Line Student Modeling for Coached Problem Solving Using Bayesian Networks.

Week 9. (8/20/97)

• No papers; Eyal and Pedrito gave practice versions of their IJCAI talks.

Week 8. (8/13/97)

• Nayak and Levy, A Semantic Theory of Abstractions, in Proceedings of IJCAI-95.

Week 7. (8/6/97)

• Hayes-Roth, Artificial Intelligence: What Works and What Doesn't? in AI Magazine, Summer 1997.
• Allen, Time and Time Again: The Many Ways to Represent Time.

Week 6. (7/23/97)

• Halpern and Vardi, Model checking vs. theorem proving: a manifesto
• Sipma, Uribe, and Manna, Deductive Model Checking.

Week 5. (7/16/97)

• (Not sure what was read -- can someone fill me in?)

Week 4. (7/9/97)

• Weld, Automatic SAT-Compilation of Planning Problems

Week 3. (7/2/97)

• Kautz, McAllester, and Selman, Encoding Plans in Propositional Logic
• Kautz and Selman, Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search

Week 2. (6/25/97)

• Blum and Furst, Fast Planning Through Planning Graph Analysis

Mail AI Reading Group Home Page	September 4, 1997