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