2015 Fall

Welcome to the homepage of CSE645 (Fall 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 the New Computer Science building, room 115.

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.

Distributed Data Processing:

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

Continuous optimization:

Recursive Decomposition for Nonconvex Optimization,

Abram L. Friesen and Pedro Domingos, IJCAI 2015.

http://homes.cs.washington.edu/~pedrod/papers/ijcai15.pdf

Survey Papers in Probabilistic Logic Programming:

Probabilistic Logic Programming Under the Distribution Semantics

Fabrizio Riguzzi, Terrance Swift, 2015.

File is attached at the end of the page.

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

Answer Set Programming:

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

Interactive debugging of non-ground ASP programs,

Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca and Kostyantyn Shchekotykhin,

LPNMR 2015.

https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/viewFile/9400/9438

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,

http://www.cs.uni-potsdam.de/wv/pdfformat/bageinospescsotawe15a.pdf

Rewriting recursive aggregates in answer set programming: back to monotonicity

Mario Alviano, Wolfgang Faber and Martin Gebser. In ICLP 2015.

http://arxiv.org/pdf/1507.03923v1.pdf

Complexity and Compilation of GZ-Aggregates in Answer Set Programming

Mario Alviano and Nicola Leone. In ICLP 2015.

http://arxiv.org/pdf/1507.03922v1.pdf

Natural language processing:

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.

http://www.public.asu.edu/~cbaral/papers/block-ln2015.pdf

AI, Planning:

OOASP: Connecting Object-oriented and Logic Programming,

Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner and Kostyantyn Shchekotykhin, LPNMR 2015.

http://arxiv.org/pdf/1508.03032v1.pdf

Planning as Tabled Logic Programming

Neng-Fa Zhou, Roman Bartak and Agostino Dovier. In ICLP 2015.

http://arxiv.org/pdf/1507.03979v1.pdf

FO(ID):

A Formal Theory of Justifications,

Marc Denecker, Gerhard Brewka and Hannes Strass, LPNMR 2015.

http://www.informatik.uni-leipzig.de/~strass/2015/LPNMR15-16.pdf

Semantics of templates in a compositional framework for building logics

Ingmar Dasseville, Matthias van der Hallen, Marc Denecker and Gerda Janssens. In ICLP 2015.

http://arxiv.org/pdf/1507.06778v1.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

Tabling & Constraint logic programming:

Tabling as a Library with Delimited Control.

Benoit Desouter, Marko van Dooren and Tom Schrijvers. In ICLP 2015.

http://arxiv.org/pdf/1507.08087v1.pdf

Towards a Generic Interface to Integrate CLP and Tabled Execution

Joaquin Arias Herrero and Manuel Carro. In ICLP 2015.

Datalog Systems:

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

Parallel and distributed LP:

Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines

Mohan Yang, Alexander Shkapsky and Carlo Zaniolo. In ICLP 2015.

http://yellowstone.cs.ucla.edu/~yang/paper/iclp2015.pdf

Parallel Execution of the ASP Computation - an Investigation on GPUs

Andrea Formisano, Flavio Vella, Agostino Dovier and Enrico Pontelli. In ICLP 2015.

http://ceur-ws.org/Vol-1068/paper-l11.pdf

Thread-Aware Logic Programming For Data-Driven Parallel Programs

Flavio Cruz, Ricardo Rocha and Seth Goldstein. In ICLP 2015.

http://www.dcc.fc.up.pt/~ricroc/homepage/publications/2015-ICLP.pdf

Probabilistic Logic Programming:

Stable Models of Markov Logic Networks,

Joohyung Lee, Yunsong Meng and Yi Wang. In ICLP 2015.

http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/viewFile/10277/10078

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

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.

http://ceur-ws.org/Vol-860/paper3.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

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.

http://ceur-ws.org/Vol-900/pospaper1.pdf

SPARQL:

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

Aggregates in Logic Programming:

Vicious Circle Principle and Logic Programs with Aggregates.

Michael Gelfond and Yuanlin Zhang.

In ICLP 2014.

http://arxiv.org/pdf/1405.3637v2.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