Project Halo Towards a Digital Aristotle Noah S. Friedland, Paul G. Allen, Gavin Matthews, Michael Witbrock, David Baxter, Jon Curtis, Blake Shepard, Pierluigi.
Reminder Midterm is two weeks from today (Oct 21 st !) –Closed book, closed notes, no computers or calculators or electronic devices –Will cover all material.
A knowledge based approach for representing, reasoning and hypothesizing about biochemical networks Chitta Baral Arizona State University.
Inference Web: Portable and Sharable Proofs for Hybrid Systems Deborah L. McGuinness, Paulo Pinheiro da Silva and Bill MacCartney with Richard Fikes, Gleb.