2014 Fall
Welcome to the homepage of CSE645 (Fall 2014) 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 10am-11:20am, in room CS 1310.
Papers:
We will select papers from the following list (don't have to cover all) and possibly other interesting ones as they come up.
Itai Dinur, Orr Dunkelman, Nathan Keller, Adi Shamir
Dissection: A New Paradigm for Solving Bicomposite Search Problems
In CACM2013.
http://www.ma.huji.ac.il/~nkeller/CACM2013.pdf
Martin Gebser, Benjamin Kaufmann and Torsten Schaub.
Conflict-Driven Answer Set Solving: From Theory to Practice.
In Artificial Intelligence, vol. 187-188, S. 52-89, 2012.
http://www.cs.uni-potsdam.de/wv/pdfformat/gekasc12c.pdf
Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.
Conflict-driven answer set solving.
In: Proceedings of IJCAI 2007.
http://ijcai.org/papers07/Papers/IJCAI07-060.pdf
Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T.:
Potassco: The Potsdam Answer Set Solving Collection
In AI Communications 24(2) 2011.
http://www.cs.uni-potsdam.de/wv/pdfformat/gekakaosscsc11a.pdf
Gebser, M., Kaminski, R., K¨onig, A., Schaub, T.
Advances in gringo Series 3.
In LPNMR 2011.
http://www.cs.uni-potsdam.de/wv/pdfformat/gekakosc11a.pdf
Angelos Charalambidis, Zoltan Esik and Panos Rondogiannis,
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation,
ICLP2014.
http://arxiv.org/pdf/1405.3792v1.pdf
Vicious Circle Principle and Logic Programs with Aggregates.
Michael Gelfond and Yuanlin Zhang.
In ICLP 2014.
http://arxiv.org/pdf/1405.3637v2.pdf
Answer Set Programming as SAT modulo Acyclicity.
Martin Gebser, Tomi Janhunen, and Jussi Rintanen.
ECAI 2014.
http://users.ics.aalto.fi/rintanen/jussi/papers/GebserJR14ecai.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
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
Pengines: Web Logic Programming Made Easy.
Torbjörn Lager and Jan Wielemaker.
In ICLP 2014.
http://arxiv.org/pdf/1405.3953v1.pdf
Massive Graph Triangulation,
Xiaocheng Hu, Yufei Tao, Chin-Wan Chung,
SIGMOD 2013,
http://www.cse.cuhk.edu.hk/~taoyf/paper/sigmod13-triangle.pdf
Lloyd-Topor Completion and General Stable Models.
Vladimir Lifschitz and Fangkai Yang.
In ICLP 2013.
http://www.cs.utexas.edu/users/vl/papers/ltc.pdf
Dynamic Consistency Checking in Goal-Directed Answer Set Programming
Kyle Marple and Gopal Gupta.
In ICLP 2014.
http://arxiv.org/pdf/1405.3603v1.pdf
A Linear Logic Programming Language for Concurrent Programming over Graph Structures.
Flavio Cruz, Seth Goldstein, Frank Pfenning and Ricardo Rocha.
In ICLP 2014.
https://www.cs.cmu.edu/~fp/papers/lm14.pdf
Lifted Variable Elimination for Probabilistic Logic Programming
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa and Riccardo Zese.
In ICLP 2014.
http://arxiv.org/pdf/1405.3218v3.pdf
Comparing Defeasible Logics.
Michael J. Maher.
In ECAI 2014.
Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation.
Federico Cerutti, Nava Tintarev, and Nir Oren.
In ECAI 2014.
https://homepages.abdn.ac.uk/n.tintarev/pages/papers/cerutti2014b.pdf
Some Alternative Formulations of the Event Calculus.
Rob Miller, Murray Shanahan.
In Computational Logic: Logic Programming and Beyond, 2002.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.476
Compact Serialization of Prolog Terms.
Paul Tarau.
In ICLP 2013.
Schedule
8/28, 1pm Organizational meeting and Tiantian's RPE.
9/4 Payel will discuss "A Tabled Prolog Program for Solving Sokoban" (IEEE International Conference on Tools with Artificial Intelligence (ICTAI) 2013, http://www.sci.unich.it/cilc2011/papers/zhou.pdf).
9/11 Weng Xuetian will discuss: "Conflict-Driven Answer Set Solving: From Theory to Practice" by Martin Gebser, Benjamin Kaufmann and Torsten Schaub. In Artificial Intelligence, vol. 187-188, S. 52-89, 2012. http://www.cs.uni-potsdam.de/wv/pdfformat/gekasc12c.pdf
9/18 Srikanth will discuss "Advances in gringo Series 3" by Gebser, M., Kaminski, R., K¨onig, A., Schaub, T. In LPNMR 2011. http://www.cs.uni-potsdam.de/wv/pdfformat/gekakosc11a.pdf.
9/25 Hendrik will discuss "Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation" by Angelos Charalambidis, Zoltan Esik and Panos Rondogiannis, ICLP2014. http://arxiv.org/pdf/1405.3792v1.pdf
10/2 Tadrash will discuss "A Linear Logic Programming Language for Concurrent Programming over Graph Structures" by Flavio Cruz, Seth Goldstein, Frank Pfenning and Ricardo Rocha. In ICLP 2014. https://www.cs.cmu.edu/~fp/papers/lm14.pdf.
10/9 Krishna will discuss "Answer Set Programming as SAT modulo Acyclicity" by Martin Gebser, Tomi Janhunen, and Jussi Rintanen. From ECAI 2014. http://users.ics.aalto.fi/rintanen/jussi/papers/GebserJR14ecai.pdf
10/16 Yuan Lu will discuss "Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation" by Federico Cerutti, Nava Tintarev, and Nir Oren. In ECAI 2014. https://homepages.abdn.ac.uk/n.tintarev/pages/papers/cerutti2014b.pdf.
10/23 Shashank will discuss "Pengines: Web Logic Programming Made Easy", by Torbjörn Lager and Jan Wielemaker. In ICLP 2014. http://arxiv.org/pdf/1405.3953v1.pdf.
10/30 Abhinav Mishra will discuss "Dynamic Consistency Checking in Goal-Directed Answer Set Programming", Kyle Marple and Gopal Gupta. In ICLP 2014. http://arxiv.org/pdf/1405.3603v1.pdf
11/6 Yiqi Yu will discuss "Massive Graph Triangulation", Hu, Tao and Chung, SIGMOD 2013, http://www.cse.cuhk.edu.hk/~taoyf/paper/sigmod13-triangle.pdf
11/13 Arun will discuss the paper: Lifted Variable Elimination for Probabilistic Logic Programming, by Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa and Riccardo Zese, http://arxiv.org/pdf/1405.3218v3.pdf.
11/20 Jon will discuss "Dissection: A New Paradigm for Solving Bicomposite Search Problems" by Itai Dinur, Orr Dunkelman, Nathan Keller, Adi Shamir. In CACM 2013.
http://www.ma.huji.ac.il/~nkeller/CACM2013.pdf
11/27 Thanksgiving break.
12/4 Bo will discuss "Some Alternative Formulations of the Event Calculus" by Rob Miller, Murray Shanahan. In Computational Logic: Logic Programming and Beyond, 2002.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.476
Stand discussions:
- Ruchi will discuss "Probabilistic Preference Logic Networks" by 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.
- Sai will discuss "Vicious Circle Principle and Logic Programs with Aggregates" by Michael Gelfond and Yuanlin Zhang. In ICLP 2014. http://arxiv.org/pdf/1405.3637v2.pdf
- Shengxin will discuss "Comparing Defeasible Logics" by Michael J. Maher. ECAI 2014.
- Yi Guo will discuss "Lloyd-Topor Completion and General Stable Models" (ICLP 2013, http://www.cs.utexas.edu/users/vl/papers/ltc.pdf).