2013 Spring
Welcome to the homepage of CSE645 (Spring 2013) 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, CR Ramakrishnan and Paul Fodor (contact: paul.fodor@stonybrook.edu)
Hours: Thursdays 11:30am-12:50pm, in CS 1310.
Papers:
We will select papers from the following list (don't have to cover all) and possibly other interesting ones as they come up.
Nilesh Dalvi, Chris Re, Dan Suciu.
Probabilistic Databases: Diamonds in the Dirt.
Published in CACM, vol. 52 , no. 7 , pp. 86-96 , 2009.
http://homes.cs.washington.edu/~suciu/cacm-paper.pdf
Kate Moore, Vibhor Rastogi, Chris Re, Dan Suciu.
Query Containment of Tier-2 Queries over a Probabilistic Database.
In MUD, 2009.
http://homes.cs.washington.edu/~suciu/prob_query_containment.pdf
Queries and Materialized Views on Probabilistic Databases.
Nilesh Dalvi, Chris Re, Dan Suciu.
Unpublished ,2009. Note: to appear in JCSS.
http://homes.cs.washington.edu/~suciu/jcss-probdb.pdf
Worst-Case Optimal Join Algorithms.
Hung Q. Ngo, Ely Porat, Christopher Ré, Atri Rudra.
In PODS 2012.
http://pages.cs.wisc.edu/~chrisre/papers/paper49.Ngo.pdf
The Complexity of Evaluating Path Expressions in SPARQL.
Katja Losemann, Wim Martens.
In PODS 2012.
http://www.theoinf.uni-bayreuth.de/download/pods12submission.pdf
Static Analysis and Optimization of Semantic Web Queries.
Andrés Letelier, Jorge Pérez, Reinhard Pichler, Sebastian Skritek.
In PODS 2012.
http://users.dcc.uchile.cl/~jperez/papers/pods12.pdf
Causal Logic Programming.
Pedro Cabalar.
In Correct Reasoning. 2012.
http://www.springerlink.com/content/7p95k5185867j42r/
http://www.dc.fi.udc.es/~cabalar/clp.pdf
Nonmonotonic Causal Theories.
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner.
In the Handbook of Knowledge Representation, 2008.
http://www.d.umn.edu/~hudson/papers/nmct.pdf
Some Alternative Formulations of the Event Calculus.
Rob Miller, Murray Shanahan.
In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. 2002.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.476
Secure Implementation of Meta-predicates.
Paulo Moura.
In the Practical Aspects of Declarative Languages (PADL) conference. 2009.
http://link.springer.com/chapter/10.1007%2F978-3-540-92995-6_19?LI=true
Semantic Matchmaking of Resources with Local Closed-World Reasoning.
Stephan Grimm, Pascal Hitzler.
In the Journal International Journal of Electronic Commerce. 2008.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.4883
Modeling Dynamic Domains with ConGolog.
Yves Lesperance, Todd G. Kelley, John Mylopoulos, Eric S.K. Yu.
In the Proceedings of the Eleventh Conference on Advanced Information Systems Engineering (CAiSE). 1999.
http://www.cs.toronto.edu/kr/papers/bpr99.pdf
Computational Semantics. Patrick Blackburn, Johan Bos. In Philosophy of Cognitive Science. 2003.
http://ehu.es/ojs/index.php/THEORIA/article/download/408/533
Twelve definitions of a stable model.
Vladimir Lifschitz.
In Proceedings of the International Conference on Logic Programming. 2008.
http://www.cs.utexas.edu/users/vl/papers/12defs.pdf
A reductive semantics for counting and choice in answer set programming.
Joohyung Lee, Vladimir Lifschitz and Ravi Palla.
In Proceedings of the AAAI Conference on Artificial Intelligence. 2008.
http://www.cs.utexas.edu/users/vl/papers/raspl1.pdf
Semantic forgetting in answer set programming.
T. Eiter and K. Wang.
In Artificial Intelligence (AIJ). 2008.
http://www.cit.gu.edu.au/~kewen/Papers/aij2008.pdf
AND
Forgetting for Defeasible Logic.
Grigoris Antoniou, Thomas Eiter, Kewen Wang.
In LPAR. 2012.
http://www.springerlink.com/content/f227n1w41m855523/
Bill MacCartney and Christopher D. Manning.
An extended model of natural logic.
Proceedings of the Eighth International Conference on Computational Semantics (IWCS). 2009.
http://nlp.stanford.edu/~wcmac/papers/natlog-iwcs09.pdf
Logic programming and uncertainty.
Chitta Baral.
In SUM. 2011.
http://www.public.asu.edu/~cbaral/papers/sum11.pdf
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic.
Guilin Qi , Jeff Z. Pan , Qiu Ji.
In Symbolic and Quantitative Approaches to Reasoning with Uncertainty. 2007.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.6638
Scalable Semantic Web Data Management Using Vertical Partitioning.
Daniel J. Abadi, Adam Marcus, Samuel R. Madden, Kate Hollenbach.
In VLDB. 2007.
http://cs-www.cs.yale.edu/homes/dna/abadirdf.pdf
Schedule
1/31 Organizational meeting.
2/7 Vikas will present "An extended model of natural logic".
2/14 Reza will present: "Modeling dynamic domains with ConGolog"
2/21 Jon will present "Worst-Case Optimal Join Algorithms"
2/28 Senlin will present: "Scalable Semantic Web Data Management Using Vertical Partitioning"
3/7 Xuetian will present"Static Analysis and Optimization of Semantic Web Queries"
3/14 meeting canceled because of CDDA conference.
3/21 Spring break.
3/28 Spyros will present "Secure Implementation of Meta-predicates"
4/4 Li will present: "Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic"
4/11 Surya will present "Probabilistic Databases: Diamonds in the Dirt"
4/18 Jin will pewsent "Queries and Materialized Views on Probabilistic Databases"
4/25 Andrey will present "Query Containment of Tier-2 Queries over a Probabilistic Database"
5/2 Arun will present "Causal Logic Programming"
5/9 Mahdi will present "Logic Programming and uncertainty"
Backup: Bo will "The Complexity of Evaluating Path Expressions in SPARQL"