CSE 645 (Spring 2011)
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, security, and services.

Instructors: Michael Kifer, David Warren, and Annie Liu

Hours: Tuesday 11:20-12:40PM, in CS 1310.

Previous semesters: Fall 2010, Spring 2010, Fall 2009, Spring 2009, Fall 2008, Spring 2008, earlier semesters.

Topics

1. Probabilistic Reasoning with Answer Sets. Chitta Baral, Michael Gelfond, and Nelson Rushton. TPLP 2009.
   http://www.public.asu.edu/~cbaral/papers/plogJune20-08.pdf
   
2. Typical Models: Minimising False Beliefs. Eliezer L. Lozinskii. Journal of Experimental & Theoretical Artificial Intelligence. Vol. 22, No. 4, 321-340, December 2010.
   http://www.cs.huji.ac.il/~lozinski/typ-mod.pdf
3. Abstract Dialectical Frameworks. Gerhard Brewka, Stefan Woltran.
   http://www.informatik.uni-leipzig.de/~brewka/papers/KR10dialectical.pdf
   Argumentation Context Systems: A Framework for Abstract Group Argumentation. Gerhard Brewka and Thomas Eiter.
   http://www.informatik.uni-leipzig.de/~brewka/papers/ArgContextS.pdf
4. Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. Marc Denecker and Joost Vennekens.
   https://lirias.kuleuven.be/bitstream/123456789/235155/1/paper.pdf
   A Logic of Non-Monotone Inductive Definitions. Marc Denecker and Eugenia Ternovska. ACM Transactions on Computational Logic, v9, n2, March 2008.
   https://lirias.kuleuven.be/bitstream/123456789/222628/1/final.pdf
5. Optimizing Datalog programs. Y. Sagiv. PODS, pages 349-362, 1987.
   http://doi.acm.org/10.1145/28659.28696
6. Semantic Query Optimization in the Presence of Types. Michael Meier, Michael Schmidt, Fang Wei, and Georg Lausen. PODS 2010.
   http://doi.acm.org/10.1145/1807085.1807102
7. The Finite Model Theory Toolbox of a Database Theoretician. Leonid Libkin. PODS 2009.
   http://homepages.inf.ed.ac.uk/libkin/papers/fmtpods09.pdf
8. Distributed Datalog Revisited. Abiteboul, S., Bienvenu, M., Galland, A., and Rousset, M.C. Datalog 2.0 workshop, 2010.
   http://alban.galland.free.fr/serendipity/uploads/Articles/abiteboul11datalog.pdf
9. A Simple Inductive Synthesis Methodology and Its Applications. Shachar Itzhaky, Sumit Gulwani, Neil Immerman, and Mooly Sagiv. OOPSLA 2010.
   http://research.microsoft.com/en-us/um/people/sumitg/pubs/oopsla10_synthesis.pdf
10. AuraConf: A Unified Approach to Authorization and Confidentiality. Jeffrey Vaughan. The 6th ACM SIGPLAN Workshop on Types in Language Design and Implementation, 2011.
    http://www.cs.ucla.edu/~jeff/docs/aura-conf-tldi.pdf

Schedule

2/8  Organization meeting

2/15 Reza Basseda (paper 5)
     Optimizing Datalog programs

2/25 Yang Liu and Jun Sun, Singapore University of Technology and Design 
     Building Model Checkers Made Easy - Introducing the PAT framework

3/1  Bo Lin (paper 8)
     Distributed Datalog Revisited

3/8  Jon Brandvein (paper 6)
     Semantic Query Optimization in the Presence of Types

3/15 Jamal Irving (paper 9)
     A Simple Inductive Synthesis Methodology and Its Application

3/22 Paul Fodor (paper 3 and paper 3.5)
     Abstract Dialectical Frameworks

     Argumentation Context Systems: A Framework for Abstract Group Argumentation

3/29 Polina Kuznetsova (paper 2)
     Typical Models: Minimising False Beliefs

4/5  Senlin Liang (paper 7)
     The Finite Model Theory Toolbox of a Database Theoretician

4/12 William Jannen (paper 10)
     AuraConf: A Unified Approach to Authorization and Confidentiality

4/19 Spring break

4/26 Richard Defrancisco (paper 1)
     Probabilistic Reasoning with Answer Sets

5/3  David Warren (paper 4 and paper 4.5)
     Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic

     A Logic of Non-Monotone Inductive Definitions

5/10