2018 Spring
Welcome to the homepage of CSE645 (Spring 2018) 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. If you are enrolled in the class, you must attend at least 50% of the meetings and to present a paper during the semester.
Instructors: Annie Liu, CR Ramakrishnan, Michael Kifer, David Warren, and Paul Fodor (contact: paul.fodor@stonybrook.edu).
Hours: Thursdays, 11:30AM-12:50PM, in New Computer Science Department room 220.
Schedule
1/25 Organizational meeting
2/1 Tiantian will present Knowledge Acquisition
2/8 Annie will give an introduction to logical semantics.
2/15 Sarthak will present his recent work.
2/22 Tim will present his RPE.
3/1 Chris will present The KB paradigm and its application to interactive configuration, Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens And Marc Denecker, Tlp, 2016
3/8 Saksham will present his work.
3/15 Spring recess
3/22 David will talk about SLG
3/29 Lie Han will present Harnessing Deep Neural Networks with Logic Rules,Zhiting Hu, Xuezhe Ma, Zhengzhong Liu, Eduard Hovy, Eric P. Xing, Association for Computational Linguistics,2016
https://arxiv.org/pdf/1603.06318.pdf
4/5 Tim will present Efficient Computation of the Well-Founded Semantics over Big Data,Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber, ICLP 2014.
https://arxiv.org/pdf/1405.2590.pdf
4/12 Wasif will present A Physician Advisory System For Chronic Heart Failure Management Based On Knowledge Patterns,Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta And Lakshman Tamil, ICLP 2016.
https://arxiv.org/pdf/1610.08115.pdf
4/19 Tiantian will present his work on NLU query answering.
4/26 Yi will survey programming solutions to classical constraint satisfaction problems, emphasizing clarity for expressing the problems
5/3
Papers
We will select papers from the following list (don't have to cover all) and possibly other interesting ones as they come up.
Logic and Databases related papers: https://simons.berkeley.edu/talks/logic-and-databases
Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates. Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie. ICLP2017.
https://arxiv.org/pdf/1707.05681.pdf
A New Algorithm To Automate Inductive Learning Of Default Theories,Farhad Shakerin, Elmer Salazar, Gopal Gupta. ICLP 2017.
A Physician Advisory System For Chronic Heart Failure Management Based On Knowledge Patterns,Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta And Lakshman Tamil, ICLP 2016.
https://arxiv.org/pdf/1610.08115.pdf
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning,Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, ICLP 2017.
https://arxiv.org/pdf/1707.04957.pdf
Efficient Computation of the Well-Founded Semantics over Big Data,Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber, ICLP 2014.
https://arxiv.org/pdf/1405.2590.pdf
Modeling Machine Learning and Data Mining Problems with FO(·),Blockeel, Hendrik, Bogaerts, Bart, Bruynooghe, Maurice, De Cat, Broes, De Pooter, Stef, Denecker, Marc, Labarre, Anthony, Ramon, Jan, Verwer, Sicco,Technical Communications of ICLP 2012.
https://hal.archives-ouvertes.fr/hal-00731459/document
Learning constraints in spreadsheets and tabular data. Samuel Kolb, Sergey Paramonov, Tias Guns, Luc De Raedt. Machine Learning 106(9-10): 1441-1468 (2017)
Solving Probability Problems in Natural Language. Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt. IJCAI 2017: 3981-3987
https://www.ijcai.org/proceedings/2017/0556.pdf
Probabilistic Logic Models and Their Application to Breast Cancer,Joana Corte-Real, Ines Dutra, and Ricardo Rocha ,Inductive Logic Programming Conference,2017.
DeepMath - Deep Sequence Models for Premise Selection,Alexander A. Alemi, François Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban,Computing Research Repository (CoRR) - cs.AI,2016
Clingo goes Linear Constraints over Reals and Integers,Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko,ICLP,2017
Plan Failure Analysis and Interactive Planning Through Natural Language Communication,Chitta Baral and Tran Cao Son,LPNMR,2015
Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system,Sergii Dymchenko && Mariia Mykhailova,,2014
Shift Design with Answer Set Programming,Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub and Stefan Woltran,Eighth ASPOCP International Workshop on “Answer Set Programming and Other Computing Paradigms”,17 November 2016
Searching Personnel Relationship from Myanmar Census Data using Graph Database and Deductive Reasoning Prolog Rules,Kay Thi Yar, Khin Mar Lar Tun ,2016 International Conference on Computer Communication and Informatics,2016
Lifted Variable Elimination For Probabilistic Logic Programming,Elena Bellodi , Evelina Lamma , Fabrizio Riguzzi Vitor Santos Costa , Riccardo Zese,Tplp,2014
A logical approach to working with biological databases , Nicos Angelopoulos and Georgios Giamas, ICLP 2015, 2015
CORPP: Commonsense Reasoning and Probabilistic Planning, as Applied to Dialog with a Mobile Robot, Shiqi Zhang and Peter Stone, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015.
Meta-Interpretive Learning: Achievements and Challenges,Stephen H. Muggleton,International Joint Conference, RuleML+RR 2017,2017
Predicate Logic As A Modeling Language: Modeling And Solving Some Machine Learning And Data Mining Problems With Idp3,Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker,Idp,2014
Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts, Wang-Zhou Dai, Stephen H. Muggleton, Zhi-Hua Zhou, Inductive Logic Programming (ILP), 2015
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge, Luciano Serafini and Artur d’Avila Garcez, 2016
Semantic code browsing, Isabel Garci ´A-Contreras1, Jose ´ F. Morales1 And Manuel V. Hermenegildo, ICLP 2016, 2016
Lock-free atom garbage collection for multithreaded Prolog, Jan Wielemaker, Keri Harris, ICLP, 2016
Estimating Accuracy from Unlabeled Data A Probabilistic Logic Approach,Emmanouil A. Platanios, Hoifung Poon, Tom M. Mitchell,Eric Horvitz,Nips,2017
Solving Distributed Constraint Optimization Problems Using Logic Programming,Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh,ICLP,2017
Open-World Probabilistic Databases,Ismail Ilkan Ceylan and Adnan Darwiche and Guy Van den Broeck,kr2016,2016
Learning Knowledge Base Inference with Neural Theorem Provers,Tim Rocktaschel and Sebastian Riedel,NAACL Workshop on Automated Knowledge Base Construction (AKBC).,2016
Reasoning About Entailment with Neural Attention,Tim Rockt¨aschel , Edward Grefenstette, Karl Moritz, Hermannil Blunsom,ICLR,2016
An ASP application in integrative biology: identification of functional gene units,Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, and Sven Thiele,International Conference on Logic Programming and Non-monotonic Reasoning,2013