Readings for Students (suggested and biased by Eyal Amir) Topics include (but not restricted to): Reasoning, Knowledge Representation, Dynamic Systems, Decision Making, Optimization Algorithms |

Key | Authors | Title |
---|---|---|

[McCarthy '58] | John McCarthy | Programs with Common Sense |

[Amir & Maynard-Reid '99] | Eyal Amir and Pedrito Maynard-Reid II | Logic-Based Subsumption Architecture |

[Russell & Norvig '03] | Stuart Russell and Peter Norvig | Artificial Intelligence, a Modern Approach |

[Genesereth & Nilsson '87] | Michael R. Genesereth and Nils J. Nilsson | Logical Foundations for Artificial Intelligence |

[McFarland '93] | Michael C. McFarland | Formal verification of sequential hardware: a tutorial |

[Biere etal. '99] | A. Biere, A. Cimatti, E.M. Clarke, M. Fujita, Y. Zhu | Symbolic model checking using SAT procedures instead of BDDs |

[Barrett '03] | Clark Barrett | Logic in Computer Science, NYU, Fall 2003 |

[OpenGalen '03] | OpenGALEN, by Kermanog | GALEN common reference model, version 1.02, and software |

[Baader & Nutt '03] | Franz Baader & Werner Nutt | Basic Description Logics, Ch.2 in the Description Logic Handbook |

[Franconi '03] | Enrico Franconi | Natural Language Processing, Ch.15 in the Description Logic Handbook |

[Gadsil, Koller, & Striegnitz '01] | M. Gabsdil, A. Koller, and K. Striegnitz | Building a Text Adventure on Description Logic |

[Horrocks '02] | Ian Horrocks | DAML+OIL: a Description Logic for the Semantic Web |

[Amir & McIlraith '03] | Eyal Amir and Sheila McIlraith | Partition-Based Reasoning for First-Order and Propositional Theories |

[MacCartney etal. '03] | B. MacCartney, S. McIlraith, E. Amir, & T. Uribe | Practical Partition-Based Theorem Proving for Large Knowledge Bases |

[Amir & Engelhardt '03] | Eyal Amir and Barbara Engelhardt | Factored Planning |

[Rish & Dechter '00] | Irina Rish and Rina Dechter | Resolution versus Search: Two Strategies for SAT |

[Doucet etal '00] | Arnaud Doucet, Nando de Freitas, Kevin Murphy, Stuart Russell | Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks, Tutorial, and slides |

[Doucet etal '00b] | Arnaud Doucet, Simon Godsill, and Christophe Andrieu | On sequential Monte-Carlo sampling methods for Bayesian filtering |

[Coates '04] | Mark Coates | Distributed particle filters for sensor networks |

[Fox etal '01] | Dieter Fox, Sebastian Thrun, Wolfram Burgard, Frank Dellaert | Particle Filters for Mobile Robot Localization |

[Moskewicz etal '01] | M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik | Chaff: engineering an efficient SAT solver |

[Ginsberg and McAllester '94] | M. Ginsberg and D. McAllester | GSAT and Dynamic Backtracking |

[Selman, Mitchell, and Levesque '97] | B. Selman, D. Mitchell, and H. Levesque | Generating hard satisfiability problems |

[MacKay '98] | David MacKay | Introduction to Monte Carlo methods |

[Crick & Pfeffer '03] | Christopher Crick and Avi Pfeffer | Loopy belief propagation as a basis for communication in sensor networks |

[Yedidia etal. '03] | J.S. Yedidia, W.T. Freeman and Y. Weiss | Bethe free energy, Kikuchi approximations and belief propagation algorithms |

[McEliece, MacKay & Cheng '98] | R.J. McEliece, D. J. C. MacKay, and J. F. Cheng | Turbo decoding as an instance of Pearl's `belief propagation |

[Poole '03] | David Poole | First-order probabilistic inference |

[Braunstein etal '03] | A. Braunstein, M. Mezard, R. Zecchina | Survey propagation: an algorithm for satisfiability |

[Amir & Russell '03] | E. Amir and S. Russell | Logical Filtering |

[Jaakola '00] | T. Jaakola | Tutorial on variational approximation methods (slides) |

[El-Hay & Friedman '01] | T. El-Hay and N. Friedman | Incorporating Expressive Graphical Models in Variational Approximations: Chain-Graphs and Hidden Variables |

[Tu & Zhu '02] | Zhuowen Tu and Song-Chun Zhu | Image Segmentation by Data-Driven Markov Chain Monte Carlo |

[Wei & Altman '97] | L. Wei and R. B. Altman | An Automated System for Generating Comparative Disease Profiles and Making Diagnoses |

[Segal etal. '03] | E. Segal and R. Yelensky and D. Koller | Genome-wide Discovery of Transcriptional Modules from DNA Sequence and Gene Expression |

[Baumgartner '00] | Peter Baumgartner | FDPLL - A First-Order Davis-Putnam-Logeman-Loveland Procedure |

[Khan etal. '03] | Z. Khan, T. Balch, and F. Dellaert | An MCMC-based Particle Filter for Tracking Multiple Interacting Targets |

[Marthi etal. '03] | B. Marthi, H. Pasula, and S. Russell | Decayed MCMC Filtering |

[Pfeffer '00] | A. Pfeffer | Probabilistic Reasoning for Complex Systems |

[Pasula & Russell '00] | H. Pasula and S. Russell | Approximate Inference For First-Order Probabilistic Languages |

[Pasula etal. '02] | H. Pasula, B. Marthi, B. Milch, S. Russell, I. Shpitser | Identity Uncertainty and Citation Matching |

[del Val '99] | A. del Val | A New Method for Consequence Finding and Compilation for Restricted Languages |

[de Kleer '92] | J. de Kleer | An Improved Incremental Algorithm for Generating Prime Implicates |

[Slagle etal. '70] | J.R. Slagle, C.-L. Chang and R. Lee | A new algorithm for generating prime implicants |

[Groote & Zantema '00] | J.F. Groote and H. Zantema | Resolution and binary decision diagrams cannot simulate each other polynomially |

[Groote & Tveretina '03] | J.F. Groote and O. Tveretina | Binary decision diagrams for first-order predicate logic |

[Sanghai, Domingo, & Weld '03] | S. Sanghai, P. Domingo, and D. Weld | Dynamic Probabilistic Relational Models |

[Rabiner '89] | L.R. Rabiner | A tutorial on hidden Markov models and selected applications in speech recognition |

[Lerner & Parr '01] | U. Lerner and R. Parr | Inference in Hybrid Networks: Theoretical Limits and Practical Algorithms |

Key | Authors | Title |

Viewing PostScript and PDF |

Depending on the computer you are using, you may be able to download a PostScript viewer or PDF viewer for it if you don't already have one.

Comments to Eyal Amir |