CSE 645: Seminar in Languages

Course Outline:

We will read papers and discuss research with main focus on the following three main topics:

• Logic and the Web
• Data-driven Distributed Applications
• Probability and Logic Reasoning

Instructors:

Michael Kifer
Annie Liu
C. R. Ramakrishnan

Schedule:

Regular Meeting time: Tuesdays from 12:45 to 2:15pm in Room 1310.

Topics:

• Topic 1: Logic and the Web:

  The following are from the May 08 issue of TPLP: http://www.informatik.uni-trier.de/~ley/db/journals/tplp/tplp8.html These papers are available electronically from this site, but one has to be browsing from the sunysb.edu domain.

  1. Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming. Francesca Lisi.
     To be presented by: Hui Wan, Sept 23
  2. 1. Querying XML documents in logic programming. Jesus Manuel Almendros-Jimenez, Antonio Becerra-Teron, Francisco J. Enciso-Banos.
        Presented by: Senlin Liang, Sep 16
     2. Query evaluation and optimization in the semantic web. Edna Ruckhaus, Eduardo Ruiz, Maria-Esther Vidal.
  3. Guarded hybrid knowledge bases. Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh.
     To be presented by: Paul Fodor on Oct. 7.

• Topic 2: Data-driven Distributed Applications

  The following are from SIGMOD'08 and SIGMOD'07:

  1. 1. Scaling games to epic proportions, SIGMOD '07 http://www.cs.cornell.edu/~koch/download/sigmod2007_games.pdf
     2. SGL: a scalable language for data-driven games
     Both to be presented by: Billy Anzovino, November 4.
  2. 1. DEMAQ: A Foundation for Declarative XML Message Processing, CIDR 07 http://arxiv.org/PS_cache/cs/pdf/0612/0612114v1.pdf
     2. The Demaq system: declarative development of distributed applications
     To be presented by Slava Akhmechet
  3. Graphs-at-a-time: query language and access methods for graph databases
     To be presented by Tuncay Tekle on Oct 14.
  4. Efficient pattern matching over event streams
  5. Scalable regular expression matching on data streams
     To be presented by: Andrey Gorlin on October 21

• Topic 3: Probability and Logic Reasoning:
  1. Kristian Kersting, Luc De Raedt: Bayesian Logic Programs CoRR cs.AI/0111058: (2001) http://arxiv.org/abs/cs.AI/0111058
  2. 1. Stephen Muggleton, Jianzhong Chen: A Behavioral Comparison of Some Probabilistic Logic Models. Probabilistic Inductive Logic Programming 2008: 305-324, http://dx.doi.org/10.1007/978-3-540-78652-8_12
     2. Stephen Muggleton: Learning Stochastic Logic Programs. Electron. Trans. Artif. Intell. 4(B): 141-153 (2000) http://www.ep.liu.se/ej/etai/2000/015/
        To be presented by: Kangjin Kim, November 18.
  3. James Cussens: Integrating Probabilistic and Logical Reasoning. Electronic Transactions on Artificial Intelligence, Vol. 3 (1999), Section B, pp. 79-103. http://www.ep.liu.se/ej/etai/1999/005/
     To be presented by: Anu Singh
  4. 1. D. Heckerman, C. Meek, and D. Koller. Probabilistic Models for Relational Data.Technical Report MSR-TR-2004-30, Microsoft Research, March, 2004. ftp://ftp.research.microsoft.com/pub/tr/TR-2004-30.pdf
     2. Jennifer Neville, Matthew Rattigan, and David Jensen, Statistical relational learning: Four claims and a survey, http://kdl.cs.umass.edu/srl2003_upload/files/neville-paper.pdf