Publications
- S. Sanner, and C. Boutilier (2007). Approximate solution techniques for factored first-order MDPs. In Proceedings of the 17th Conference on Automated Planning and Scheduling (ICAPS-07).
[ps.gz] [pdf]
(Presentation Slides:
[pdf (color)])
- S. Sanner, T. Graepel, R. Herbrich, and T. Minka (2007).
Learning CRFs with hierarchical features: An application to the game of Go.
In Proceedings of the Workshop on Constrained Optimization and Structured Output Spaces (at ICML-07).
[ps.gz] [pdf]
(Presentation Slides:
[pdf (color)])
-
S. Sanner, and K. Kersting (2007). Symbolic dynamic programming. Chapter to appear in C. Sammut, editor, Encyclopedia of Machine Learning, Springer-Verlag.
- S. Sanner, and S. McIlraith (2006). An ordered theory
resolution calculus for
hybrid reasoning in first-order extensions of description logic.
In Proceedings of the 10th International
Conference on Principles of Knowledge Representation
and Reasoning (KR-06).
[ps.gz] [pdf]
(Presentation Slides:
[pdf (color)]
[pdf (bw)])
- S. Sanner (2006). Online feature discovery in relational reinforcement learning.
In Proceedings of the Open Problems in Statistical Relational Learning Workshop (SRL-06).
[ps.gz] [pdf]
(Presentation Slides:
[pdf (color)]
[pdf (bw)])
- S. Sanner, and D. McAllester (2005). Affine algebraic decision
diagrams (AADDs) and their application to structured probabilistic
inference. In Proceedings of the 19th International Joint
Conference on AI (IJCAI-05).
[ps.gz] [pdf]
(Presentation Slides:
[pdf (color)]
[pdf (bw)])
- S. Sanner, and C. Boutilier (2005). Approximate linear programming
for first-order MDPs. In Proceedings of the 21st Conference on
Uncertainty in AI (UAI-05).
[ps.gz] [pdf]
(Presentation Slides:
[pdf (color)]
[pdf (bw)])
- S. Sanner (2005). Simultaneous learning of structure and value in
relational reinforcement learning. In Proceedings of the Rich Representations for Relational Reinforcement Learning Workshop (RRfRL-05).
[ps.gz] [pdf]
(Presentation Slides:
[pdf (color)]
[pdf (bw)])
- D. Anguelov, R. Biswas, D. Koller, B. Limketkai, S. Sanner, and S.
Thrun (2002). Learning hierarchical object maps of non-stationary
environments with mobile robots. In Proceedings of the 18th
Conference on Uncertainty in AI (UAI-02). [ps.gz
(large)] [pdf]
- R. Biswas, B. Limketkai, S. Sanner, and S. Thrun (2002). Towards
object mapping in dynamic environments with mobile robots. In
Proceedings of the Conference on Intelligent Robots and Systems
(IROS-02). [ps.gz
(large)] [pdf]
- S. Sanner, J. R. Anderson, C. Lebiere, and M. Lovett (2000).
Achieving efficient and cognitively plausible learning in
backgammon. In Proceedings of the 17th International
Conference on Machine Learning (ICML-00). [ps.gz] [pdf] [C++ Source Code (tar.gz)
and associated README
file]
Technical Reports and Unpublished Works
- S. Sanner (2005). Future directions for first-order decision-theoretic planning. Research Proposal, University of Toronto.
[ps.gz] [pdf]
(Presentation Slides:
[pdf (color)]
[pdf (bw)])
- S. Sanner (2004). Relational and first-order decision-theoretic
planning: Foundations and future directions. Depth Report,
University of Toronto. [ps.gz] [pdf]
(Note: There is also a deterministic planning supplement to this report.
[ps.gz] [pdf] )
- S. Sanner (2004). Refutation-complete binary decision diagrams. Unpublished.
[ps.gz] [pdf]
- S. Sanner (2003). Towards practical taxonomic classification for
description logics on the Semantic Web. Technical Report,
Stanford University, Knowledge Systems Lab: KSL-03-06. [ps.gz] [pdf] [Java Theorem Prover (JTP) software including the DAML+OIL classification reasoner]
(Note: There is also a less technical, condensed version of this
paper. [ps.gz] [pdf] )
Thesis
- S. Sanner (2007). First-order decision-theoretic planning in structured relational environments. PhD Thesis, University of Toronto. Accepted: 12/2007; Publication Date: 3/2008.
[ps.gz] [pdf]
Miscellaneous Presentations
- S. Sanner (2006). Lecture slides for an introduction to
the field of Automated Theorem Proving.
[pdf (color)]
[pdf (bw)]
- S. Sanner (2006). Talk slides for an introduction
to First-order MDPs and Approximation Techniques. [pdf (color)]
[pdf (bw)]
- S. Sanner (2001). Talk slides for a quick
introduction to the field of Description Logics, its history, and
some of its core (and beautiful) motivating ideas. [ps.gz]
[pdf]