2012 Fall
Welcome to the homepage of CSE645 (Fall 2012) Seminar in Languages!
General Information
Course description: We will read papers and discuss research ranging from high-level specifications (such as logic, rules, and sets) to algorithms and methods for efficient implementations, with applications in semantic web, program analysis, security, and services.
Instructors: Michael Kifer, David Warren, Annie Liu, and Paul Fodor (contact: paul.fodor@stonybrook.edu)
Hours: Thursdays 10:00am-11:30am, in CS 1310.
Topics
We will select papers from the following list (don't have to cover all) and possibly other interesting ones as they come up.
- Applications with LP:
1. Scaling Datalog for Machine Learning on Big Data
Yingyi Bu, Vinayak Borkar, Michael J. Carey, Joshua Rosen, Neoklis Polyzotis, Tyson Condie, Markus Weimer, Raghu Ramakrishnan
http://arxiv.org/pdf/1203.0160v2.pdf
2. Stream Reasoning with Answer Set Programming
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu and Torsten Schaub, KR2012.
http://www.cs.uni-potsdam.de/wv/pdfformat/gegrkaobsasc12b.pdf
3. Querying UML Class Diagrams
Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris, FoSSaCS 2012: 1-25
http://www.springerlink.com/content/q402w38x3501425g/
http://www.slideshare.net/polibear/fossacs12-georg-new
4. Modelling Structured Domains Using Description Graphs and Logic Programming
Despoina Magka, Boris Motik, and Ian Horrocks. 2012 International Workshop on Description Logics (DL2012)
http://www.cs.ox.ac.uk/isg/people/despoina.magka/pubs/reports/DGLPTechnicalReport.pdf
http://ceur-ws.org/Vol-846/paper_22.pdf
- Logic programming:
5. Forgetting for Defeasible Logic
Grigoris Antoniou, Thomas Eiter, Kewen Wang. LPAR 2012: 77-91
http://www.springerlink.com/content/f227n1w41m855523/
6. Ambiguous Language and Differences in Beliefs
Joseph Y. Halpern and Willemien Kets, KR2012.
http://tuvalu.santafe.edu/~willemien.kets/ambiguity-kr.pdf
7. Complexity-Sensitive Decision Procedures for Abstract Argumentation
Wolfgang Dvorak, Matti Järvisalo, Johannes P. Wallner and Stefan Woltran, KR2012.
http://www.cs.helsinki.fi/u/mjarvisa/papers/dvorak-jarvisalo-wallner-woltran.kr12.pdf
8. Causal Logic Programming
Pedro Cabalar
Lecture Notes in Computer Science, 2012, Volume 7265/2012, 102-116
http://www.springerlink.com/content/7p95k5185867j42r/
http://www.dc.fi.udc.es/~cabalar/clp.pdf
9. Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs,
Marc Denecker, Maurice Bruynooghe, Joost Vennekens
Lecture Notes in Computer Science, 2012, Volume 7265/2012, 178-194
http://www.springerlink.com/content/m645034w8q738k08/
https://lirias.kuleuven.be/bitstream/123456789/350619/1/LifschitzSubmitted.pdf
- Uncertainty:
10. Logic programming and uncertainty
Chitta Baral
http://www.public.asu.edu/~cbaral/papers/sum11.pdf
- Programming languages:
11. An Algorithm for Handling Many Relational Calculus Queries Efficiently
Dan E. Willard, JCSS, 65-2, 2002, 295-331.
http://www.diku.dk/hjemmesider/ansatte/henglein/papers/willard2002.pdf
12. On the Complexity Analysis of Static Analyses
David McAllester, SAS-99, JACM 2002.
http://ttic.uchicago.edu/~dmcallester/sas99.ps
13. SecureBlox: Customizable Secure Distributed Data Processing
William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref
http://netdb.cis.upenn.edu/papers/secureblox-sigmod10.pdf
- Extra papers:
Schedule
9/6 Organizational meeting
9/13 Chen: paper 2.
9/20 Bo: paper13. Bo's slides are in the files at the bottom
9/27 Jonathan Brandvein: paper 12.
10/4 Spyros: paper 9.
10/11 Vikas: paper 3.
10/18 Senlin: paper 1.
10/25 Nilesh: paper 6.
11/1 Hurricane Sandy (school closed).
11/8 Snow day.
11/15 Tom: paper 11.
11/22 NO CLASSES (Thanksgiving Break)
11/29 Ken: paper 4.
12/6 Canceled.