2015 Spring
Welcome to the homepage of CSE645 (Spring 2015) 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: Annie Liu, CR Ramakrishnan, Michael Kifer, David Warren and Paul Fodor (contact: paul.fodor@stonybrook.edu).
Hours: Thursdays, 11:30AM-12:50pm, in room Computer Science department room 1310.
If you are enrolled in the class, you must attend at least 50% of the meetings and to present a paper during the semester.
Papers:
We will select papers from the following list (don't have to cover all) and possibly other interesting ones as they come up.
Predicate Logic as a Modelling Language: The IDP System
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker, 2014.
http://arxiv.org/abs/1401.6312
Inference in the FO(C) Modelling Language.
Bart Bogaerts, Joost Vennekens, Marc Denecker, and Jan Van den Bussche.
In ECAI 2014.
http://arxiv.org/pdf/1404.6368v1.pdf
Constraint Propagation for First-Order Logic and Inductive Definitions,
Johan Wittocx, Marc Denecker, Maurice Bruynooghe.
ACM Transactions on Computational Logic, 2013.
http://dl.acm.org/citation.cfm?doid=2499937.2499938
A logic programming approach to knowledge-state planning, II: The DLVK system,
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres,
Artificial Intelligence, Volume 144, Issues 1–2, March 2003,
http://www.sciencedirect.com/science/article/pii/S0004370202003673
Incremental View Maintenance for Nested-Relational Databases
Daniel Lupei, Christoph Koch Val Tannen, 2014 (arxiv).
http://arxiv.org/pdf/1412.4320v1.pdf
Joins via Geometric Resolutions: Worst-case and Beyond
Mahmoud Abo Khamis, Hung Q. Ngo, Christopher Re, Atri Rudra , 2014 (arxiv).
http://arxiv.org/abs/1404.0703
Beyond Worst-case Analysis for Joins with Minesweeper
Hung Q. Ngo, Dung T. Nguyen, Christopher Re, Atri Rudra, PODS '14.
http://cs.stanford.edu/people/chrismre/papers/pods36-ngo.pdf
(also see slides as intro/overview for the last two:
http://cs.stanford.edu/people/chrismre/talks/chrisre_joins_keynote_edbticdt.pptx )
Algorithmic motion planning in robotics
Sharir, M. ; Robotics Lab., New York Univ., NY, USA
1989
MillWheel: Fault-Tolerant Stream Processing at Internet Scale,
Tyler Akidau, Alex Balikov, Kaya Bekiroglu, Slava Chernyak, Josh Haberman, Reuven Lax, Sam McVeety, Daniel Mills, Paul Nordstrom, Sam Whittle,
Very Large Data Bases (2013)
http://research.google.com/pubs/pub41378.html
Vicious Circle Principle and Logic Programs with Aggregates.
Michael Gelfond and Yuanlin Zhang.
In ICLP 2014.
http://arxiv.org/pdf/1405.3637v2.pdf
Probabilistic Preference Logic Networks.
Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari.
In ECAI 2014.
http://www.cs.ox.ac.uk/people/gerardo.simari/personal/publications/PPLNs-ECAI2014-preprint.pdf
Ur/Web: A Simple Model for Programming the Web.
Adam Chlipala.
In Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL. 2015.
http://adam.chlipala.net/papers/UrWebPOPL15/UrWebPOPL15.pdf
Heuristics Entwined with Handlers Combined.
Tom Schrijvers and Nicolas Wu and Benoit Desouter and Bart Demoen.
In PPDP 2014.
http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ppdp2014.pdf
A Tool for Extracting Conversational Implicatures.
Marta Tatu and and Dan I. Moldovan.
International Conference on Language Resources and Evaluation (LREC), 2012.
http://www.lrec-conf.org/proceedings/lrec2012/pdf/175_Paper.pdf
Ontological CP-Nets.
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska.
In the Uncertainty Reasoning for the Semantic Web (URSW) workshop, held at the International Semantic Web Conferences (ISWC). 2014.
Semantics and Inference for Probabilistic Description Logics.
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari.
In the Uncertainty Reasoning for the Semantic Web (URSW) workshop, held at the International Semantic Web Conferences (ISWC). 2014.
Comparing Defeasible Logics.
Michael J. Maher.
In ECAI 2014.
An Introduction to Programming and Proving with Dependent Types in Coq.
Adam Chlipala.
In Journal of Formalized Reasoning (JFR). 3(2). 1-93, 2010.
http://adam.chlipala.net/papers/CpdtJFR/CpdtJFR.pdf
Probabilistic Programming Concepts.
Luc De Raedt, Angelika Kimmig.
http://arxiv.org/abs/1312.4328
Inference and learning in probabilistic logic programs using weighted Boolean formulas.
Fierens, Daan, Van den Broeck, Guy, Renkens, Joris, Shterionov, Dimitar, Gutmann, Bernd, Thon, Ingo, Janssens, Gerda, De Raedt, Luc.
https://lirias.kuleuven.be/handle/123456789/392821
A logic programming approach to knowledge-state planning, II: The DLVK system
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres,
Artificial Intelligence 2003,
http://www.sciencedirect.com/science/article/pii/S0004370202003673
Next semester:
Team-building with answer set programming in the Gioia-Tauro seaport,
Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone,
Theory and Practice of Logic Programming, 2012.
http://arxiv.org/pdf/1101.4554.pdf
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.
Avraham Shinnar, Jérôme Siméon, and Martin Hirzel. In ECOOP 2015.
http://hirzels.com/martin/papers/ecoop15-rules-nra.pdf
OOASP: Connecting Object-oriented and Logic Programming,
Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner and Kostyantyn Shchekotykhin,
LPNMR 2015.
Interactive debugging of non-ground ASP programs,
Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca and Kostyantyn Shchekotykhin,
LPNMR 2015.
A Formal Theory of Justifications,
Marc Denecker, Gerhard Brewka and Hannes Strass,
LPNMR 2015.
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise,
Add Another Blue Stack of the Same Height!: Plan Failure Analysis and Interactive Planning Through Natural Language Communication,
Tran Cao Son and Chitta Baral,
LPNMR 2015.
Tabling as a Library with Delimited Control.
Benoit Desouter, Marko van Dooren and Tom Schrijvers. In ICLP 2015.
Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines
Mohan Yang, Alexander Shkapsky and Carlo Zaniolo. In ICLP 2015.
Parallel Execution of the ASP Computation - an Investigation on GPUs
Andrea Formisano, Flavio Vella, Agostino Dovier and Enrico Pontelli. In ICLP 2015.
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation
Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard and Peter J. Stuckey. In ICLP 2015.
Planning as Tabled Logic Programming
Neng-Fa Zhou, Roman Bartak and Agostino Dovier. In ICLP 2015.
Rewriting recursive aggregates in answer set programming: back to monotonicity
Mario Alviano, Wolfgang Faber and Martin Gebser. In ICLP 2015.
Complexity and Compilation of GZ-Aggregates in Answer Set Programming
Mario Alviano and Nicola Leone. In ICLP 2015.
Thread-Aware Logic Programming For Data-Driven Parallel Programs
Flavio Cruz, Ricardo Rocha and Seth Goldstein. In ICLP 2015.
Towards a Generic Interface to Integrate CLP and Tabled Execution
Joaquin Arias Herrero and Manuel Carro. In ICLP 2015.
Semantics of templates in a compositional framework for building logics
Ingmar Dasseville, Matthias van der Hallen, Marc Denecker and Gerda Janssens. In ICLP 2015.
Stable Models of Markov Logic Networks
Joohyung Lee, Yunsong Meng and Yi Wang. In ICLP 2015.
Top-k exploration of query candidates for efficient keyword search on graph-shaped (rdf) data,
Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano,
IEEE 25th International Conference on Data Engineering (ICDE), 2009.
http://pub.uni-bielefeld.de/luur/download?func=downloadFile&recordOId=2497130&fileOId=2525912
Advanced processing for ontological queries,
Andrea Calì, Georg Gottlob, Andreas Pieris,
VLDB, 2010.
http://www.vldbarc.org/pvldb/vldb2010/papers/R49.pdf
On the relationship between MDPs and the BDI architecture,
Gerardo I Simari, Simon Parsons,
Fifth international joint conference on Autonomous agents and multiagent systems, 2006.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.83.9874&rep=rep1&type=pdf
Ontological queries: Rewriting and optimization,
Georg Gottlob, Giorgio Orsi, Andreas Pieris,
IEEE 27th International Conference on Data Engineering (ICDE), 2011,
http://www.orsigiorgio.net/wp-content/papercite-data/pdf/gop11.pdf
Description logic rules,
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler,
ECAI 2008.
http://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1139&context=cse
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10^30,000 worlds,
Samir Khuller, M Vanina Martinez, Dana Nau, Amy Sliva, Gerardo I Simari, Venkatramanan Siva Subrahmanian,
Annals of Mathematics and Artificial Intelligence, 2007,
http://www.ccs.neu.edu/home/asliva/papers/somaMPW-amai07.pdf
Vicious Circle Principle and Logic Programs with Aggregates.
Michael Gelfond and Yuanlin Zhang.
In ICLP 2014.
http://arxiv.org/pdf/1405.3637v2.pdf
Inference in the FO(C) Modelling Language.
Bart Bogaerts, Joost Vennekens, Marc Denecker, and Jan Van den Bussche.
In ECAI 2014.
http://arxiv.org/pdf/1404.6368v1.pdf
Constraint Propagation for First-Order Logic and Inductive Definitions,
Johan Wittocx, Marc Denecker, Maurice Bruynooghe.
ACM Transactions on Computational Logic, 2013.
http://dl.acm.org/citation.cfm?doid=2499937.2499938
Semantics and Inference for Probabilistic Description Logics.
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari.
In the Uncertainty Reasoning for the Semantic Web (URSW) workshop, held at the International Semantic Web Conferences (ISWC). 2014.
Algorithmic motion planning in robotics
Sharir, M. ; Robotics Lab., New York Univ., NY, USA
1989
MillWheel: Fault-Tolerant Stream Processing at Internet Scale,
Tyler Akidau, Alex Balikov, Kaya Bekiroglu, Slava Chernyak, Josh Haberman, Reuven Lax, Sam McVeety, Daniel Mills, Paul Nordstrom, Sam Whittle,
Very Large Data Bases (2013)
http://research.google.com/pubs/pub41378.html
Probabilistic Preference Logic Networks.
Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari.
In ECAI 2014.
http://www.cs.ox.ac.uk/people/gerardo.simari/personal/publications/PPLNs-ECAI2014-preprint.pdf
Heuristics Entwined with Handlers Combined.
Tom Schrijvers and Nicolas Wu and Benoit Desouter and Bart Demoen.
In PPDP 2014.
http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ppdp2014.pdf
Ontological CP-Nets.
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska.
In the Uncertainty Reasoning for the Semantic Web (URSW) workshop, held at the International Semantic Web Conferences (ISWC). 2014.
Comparing Defeasible Logics.
Michael J. Maher.
In ECAI 2014.
Probabilistic Programming Concepts.
Luc De Raedt, Angelika Kimmig.
http://arxiv.org/abs/1312.4328
Inference and learning in probabilistic logic programs using weighted Boolean formulas.
Fierens, Daan, Van den Broeck, Guy, Renkens, Joris, Shterionov, Dimitar, Gutmann, Bernd, Thon, Ingo, Janssens, Gerda, De Raedt, Luc.
https://lirias.kuleuven.be/handle/123456789/392821
Schedule
1/26 Organizational meeting.
2/5 David will lead the discussion about the paper: "Predicate Logic as a Modelling Language: The IDP System" Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker, 2014. http://arxiv.org/abs/1401.6312
2/12 David continued the discussion of the paper above.
2/19 Annie, David, and Kain will lead the discussion about the paper: "Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3", TPLP 2014. https://lirias.kuleuven.be/handle/123456789/448838
2/26 Kain will lead the discussion about the paper: "SAT(ID): Satisfiability of propositional logic extended with inductive definitions", Mariën, Maarten, Wittocx, Johan Denecker, Marc Bruynooghe, Maurice, https://lirias.kuleuven.be/handle/123456789/167317
3/5 Reza's prelim.
3/12 Bo and Jon will lead the discussion about the paper: "Beyond Worst-case Analysis for Joins with Minesweeper", Hung Q. Ngo, Dung T. Nguyen, Christopher Re, Atri Rudra, PODS'14. http://cs.stanford.edu/people/chrismre/papers/pods36-ngo.pdf
and the paper "Joins via Geometric Resolutions: Worst-case and Beyond", Mahmoud Abo Khamis, Hung Q. Ngo, Christopher Ri, Atri Rudra , 2014. http://arxiv.org/abs/1404.0703
3/19 Spring recess.
3/26 Jon will lead the discussion about the paper: "Incremental View Maintenance for Nested-Relational Databases", Daniel Lupei, Christoph Koch Val Tannen, 2014. http://arxiv.org/pdf/1412.4320v1.pdf
4/2 Tiantian will lead the discussion about the paper: "A Tool for Extracting Conversational Implicatures", Marta Tatu and and Dan I. Moldovan. International Conference on Language Resources and Evaluation (LREC), 2012. http://www.lrec-conf.org/proceedings/lrec2012/pdf/175_Paper.pdf
4/9 Yao will lead the discussion about the paper: "Ur/Web: A Simple Model for Programming the Web", Adam Chlipala. In POPL. 2015. http://adam.chlipala.net/papers/UrWebPOPL15/UrWebPOPL15.pdf
4/16 Reza will lead the discussion about the paper: "A logic programming approach to knowledge-state planning, II: The DLVK system" by Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres, Artificial Intelligence 2003, http://www.sciencedirect.com/science/article/pii/S0004370202003673
4/23 Chenxi will lead the discussion about the paper: "Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis" by Jiwon Seo, Jongsoo Park, Jaeho Shin and Monica Lam. http://www.vldb.org/pvldb/vol6/p1906-seo.pdf
4/30 Rutuja will lead the discussion of the paper: "Dexter: Plugging-n-Playing with Data Sources in Your Browser" by Abhijeet Mohapatra, Sudhir Agarwal and Michael Genesereth. AAAIW14. http://www.aaai.org/ocs/index.php/WS/AAAIW14/paper/viewFile/8815/8263
5/7 Yuhao will lead the discussion of the paper: "Declarative Networking" by Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe and Ion Stoica. CACM 2009. http://www.cis.upenn.edu/~boonloo/papers/declarenet_cacm09.pdf
Stand discussions:
- TBD.