Siddharth's Presentations
-
Challenges
in Finding Generalized Plans, ICAPS-2009 Workshop on
Generalized Planning: Macros, Loops, Domain Control.
-
Finding
Plans with Branches, Loops and Preconditions, ICAPS-2009
Workshop on Verification and Validation of Planning and Scheduling
Systems.
-
Abstract
Planning with Unknown Object Quantities and Properties, SARA-09.
- Learning Generalized Plans Using Abstract Counting, AAAI-08.
- Curry
Howard Correspondence, Class presentation, Programming
Languages, Spring 2007.
- Towards
Generalized Planning Using 3-valued Logic, Theory Seminar, Fall
2006.
- Proof Complexity, Complexity Theory course, Fall 2006.
- Privacy and Anonymity in Graph Data (presented with Michael Hay and Philipp Weis), Database Design and Implementation, Spring 2006.
- Privacy
vs. Utility in Anonymized Data, project presentation, Hot Topics
in Information Security (presented with Philipp Weis), Fall 2005.