2019 Fall

Welcome to the homepage of CSE 645: Seminar in Languages (Fall 2019)!

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 a wide range of applications.

For this semester, we will include the following four topics and possibly others: probabilistic programming, quantum computing, knowledge base languages, and languages for security.

In particular, we will start each topic from scratch, and discuss the best overview and survey papers that lead to the state of the art.

Everyone is welcome.  If you are enrolled in the class, you are expected to attend a majority of the meetings and present a paper. 

Hours: Thursdays, 11:30AM-12:50PM, in New Computer Science, Room 220.

Instructors: Annie Liu, CR Ramakrishnan, Michael Kifer, David Warren, and Paul Fodor (contact: paul.fodor@stonybrook.edu).

Schedule

8/29 Organizational meeting.

9/5 Paul Fodor, Knowledge Authoring Logic Machine, Tiantian Gao, Paul Fodor and Michael Kifer. Querying Knowledge via Multi-Hop English Questions, ICLP 2019. http://arxiv.org/abs/1907.08176

9/12 Yi Tong, A survey of constraint satisfaction and optimization methods.

9/19 Aaryaman Aggarwal will present: Thomas Eiter, Paul Ogris and Konstantin Schekotihin. A Distributed Approach to LARS Stream Reasoning, ICLP 2019. https://arxiv.org/abs/1907.12344

9/26 Hannah Yao will present: Xujie Si, Mukund Raghothaman, Kihong Heo and Mayur Naik. Synthesizing Datalog Programs Using Numerical Relaxation. IJCAI 2019. https://www.ijcai.org/proceedings/2019/0847.pdf

10/3 Matthew Castellana will present: Adnan Darwiche, SDD: A New Canonical Representation of Propositional Knowledge Bases,  http://reasoning.cs.ucla.edu/fetch.php?id=121&type=pdf. . Matt's slides are attached below

10/10 Jakub Wlodek will present: Fernando Saenz-Perez. Applying Constraint Logic Programming to SQL Semantic Analysis. ICLP 2019. https://arxiv.org/abs/1907.10914

10/24 Annie Liu will present: Knowledge of Uncertain Worlds: Programming with Logical Constraints, Annie Liu and Scott Stoller, https://arxiv.org/pdf/1910.10346.pdf

10/31 Annie Liu will present the high-level specification of the Paxos algorithm for distributed consensus: https://arxiv.org/pdf/1704.00082.pdf

11/7 CR will present Peter Selinger, "Towards a Quantum Programming Language", Math. Struct in CS (2004). https://www.mathstat.dal.ca/~selinger/papers/papers/qpl.pdf . CR's slides: qpl.pdf

11/14 Matthew Castellana will present: Doga Kisa and Guy Van den Broeck and Arthur Choi and Adnan Darwiche, Probabilistic Sentential Decision Diagrams http://reasoning.cs.ucla.edu/fetch.php?id=136&type=pdf Web site: http://reasoning.cs.ucla.edu/psdd/. Matt's slides are attached below.

11/21 and 12/5 CR will continue his talk on Quantum Computing: repr.pdf

11/28  Happy Thanksgiving!

Papers:

Below are some possible papers to discuss:

Luigi Bellomarini, Georg Gottlob, Andreas Pieris, and Emanuel Sallinger. Swift Logic for Big Data and Knowledge Graphs. IJCAI 2017. https://www.ijcai.org/proceedings/2017/0001.pdf

Jiefei Ma, Frank Le, Alessandra Russo, and Jorge Lobo. Declarative Framework for Specification, Simulation and Analysis of Distributed Applications. https://core.ac.uk/download/pdf/77007638.pdf

Yujia Shen and Arthur Choi and Adnan Darwiche, Conditional PSDDs: Modeling and Learning with Modular Knowledge. http://reasoning.cs.ucla.edu/fetch.php?id=179&type=pdf

Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik. Continuously Reasoning about Programs using Differential Bayesian Inference. PLDI 2019. http://www.cis.upenn.edu/~mhnaik/papers/pldi19.pdf

Amelia Harrison and Vladimir Lifschitz. Relating Two Dialects of Answer Set Programming, ICLP 2019. https://arxiv.org/abs/1907.12139

Bernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schüller. Partial Compilation of ASP Programs, ICLP 2019. https://arxiv.org/abs/1907.10469

Giovanni Amendola, Carmine Dodaro and Francesco Ricca. Better Paracoherent Answer Sets with Less Resources, ICLP 2019. https://arxiv.org/abs/1907.09560

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and Jessica Zangari. Incremental answer set programming with overgrounding, ICLP 2019. https://arxiv.org/abs/1907.09212

Giovanni Amendola and Francesco Ricca. Paracoherent Answer Set Semantics meets Argumentation Frameworks, ICLP 2019. https://arxiv.org/abs/1907.09426

Mario Alviano, Carmine Dodaro, Johannes K. Fichte, Markus Hecher, Tobias Philipp and Jakob Rath. Inconsistency Proofs for ASP: The ASP-DRUPE Format, ICLP 2019. https://arxiv.org/abs/1907.10389

Ariyam Das and Carlo Zaniolo. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation, ICLP 2019. https://arxiv.org/abs/1907.10278

Mario Alviano, Nicola Leone, Pierfrancesco Veltri and Jessica Zangari. Enhancing magic sets for ontological reasoning, ICLP 2019. https://arxiv.org/abs/1907.08424

Joaquin Arias and Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP, ICLP 2019. https://arxiv.org/abs/1908.00104

Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri and Jessica Zangari. Precomputing Datalog evaluation plans in large-scale scenarios, ICLP 2019. https://arxiv.org/abs/1907.12495

Giovanni Amendola, Francesco Ricca and Mirek Truszczynski. Beyond NP: Quantifying over Answer Sets, ICLP 2019. https://arxiv.org/abs/1907.09559

David Spies, Jia-Huai You and Ryan Hayward. Domain-Independent Cost-Optimal Planning in ASP, ICLP 2019. https://arxiv.org/abs/1908.00112

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Perez and Concepcion Vidal. Revisiting Explicit Negation in Answer Set Programming, ICLP 2019. https://arxiv.org/abs/1907.11467

Yi Wang, Shiqi Zhang and Joohyung Lee. Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. ICLP 2019. https://arxiv.org/abs/1907.13482

Efthimis Tsilionis, Nikolaos Koutroumanis, Panagiotis Nikitopoulos, Christos Doulkeridis and Alexander Artikis. Online Event Recognition from Moving Vehicles. ICLP 2019. https://arxiv.org/abs/1907.11007

Arpit Sharma. Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge. ICLP 2019. https://arxiv.org/abs/1907.11112