2020 Spring

Welcome to the homepage of CSE 645: Seminar in Languages (Spring 2020)!

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 at least a paper. 

Hours: Thursdays, 11:30AM-12:50PM, on Google Meet https://meet.google.com/frd-aiqs-rkc

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

Schedule

1/30: Organizational meeting   

2/6 and 2/13: Michael's talk on Elements of Rule-based Knowledge Representation and Reasoning   https://docs.google.com/a/cs.stonybrook.edu/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxzYmNzbGFuZ3VhZ2VzZW1pbmFyfGd4OjJjNjc0MTQwNzE1MDRmYjY

2/20 and 2/27: Yuheng's talk on Event Calculus from: Fariba Sadri and Robert Kowalski, Variants of the Event Calculus, ICLP 1995 https://www.doc.ic.ac.uk/~rak/papers/iclp95paper.pdf

3/5: Keshav Rajupet Premkumar will present: 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 , http://www.vldb.org/pvldb/vol11/p975-bellomarini.pdf , https://journalofbigdata.springeropen.com/track/pdf/10.1186/s40537-019-0237-9. Slides: Swift Logic for Big Data and Knowledge Graphs.pptx

3/12: Venkat will present: QuickCheck: Koen Claessen, John Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP 2000: 268-279. http://www.kframework.org/images/3/3d/QuickL.pdf and John Hughes. Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. A List of Successes That Can Change the World 2016: 169-186. http://publications.lib.chalmers.se/records/fulltext/232550/local_232550.pdf . Slides: https://docs.google.com/presentation/d/15Sw43dQoPtm5ypcZ3OXXpAr-0Jp83Xiv1h-SvD93vvQ/edit?usp=sharing

3/19: Spring Recess

3/26: Spring Recess extended with 1 week

4/2: Cancelled

4/9:  Matt Castellana will present: Angel X. Chang, Mihail Eric, Manolis Savva, Christopher D. Manning. SceneSeer: 3D Scene Design with Natural Language. ArXiv, 2017.

4/16: Tianyi Zhao will present: Pablo Barceló, Egor V. Kostylev, Mikael Monet, Jorge Pérez, Juan Reutter, Juan Pablo Silva, The Logical Expressiveness of Graph Neural Networks, ICLR 2020, Eighth International Conference on Learning Representations (slides)

4/23: Anthony Ripa: Refactoring Computational Mathematics with New Logic, Data-Structures, and Learning: https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxzYmNzbGFuZ3VhZ2VzZW1pbmFyfGd4OjM0M2ZlZjU4NmFlNzc2MzU

4/30: Robert J. Harrison: MADNESS - parallel runtime, and the task and data-flow programming paradigms (papers)

5/7: Yi Tong: Programming with constraints in Python

Papers:

Below are some possible papers to discuss:

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

Ruben Lapauw(B) , Maurice Bruynooghe, and Marc Denecker, Improving Parity Game Solvers with Justifications. POPL 2020. https://link.springer.com/content/pdf/10.1007%2F978-3-030-39322-9_21.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

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