LPNMR Doctoral Consortium 2019

The Doctoral Consortium (DC) will take place in Philadelphia, PA, USA during the 15th International Conference on Logic Programming and Non-monotonic Reasoning June 4-7, 2019.

CALL (pdf)

AIMS AND SCOPE

The goal of the DC is to foster the career of students pursuing a PhD in the area of logic programming and nonmonotonic reasoning. In particular, the aims of the DC are:

to provide a forum for students to present their current research, and receive feedback from other students and senior researchers
to promote contacts among Ph.D. students working in similar areas
to support students with information and advice on academic, research and industrial careers

DC PROGRAM June 6th

9:00-9:10 Welcome

9:10-9:35 Tobias Kaminski. Integrated Algorithms for HEX-Programs and Applications in Machine Learning (link)
9:35-10:00 Liu Liu. Encoding Selection for ASP via Machine Learning
10:00-10:25 Markus Hecher. Answer Set Solving exploiting Treewidth and its Limits (link)

10:25-11:00 Poster Session - Coffee break

11:00-11:25 Patrick Lühne. Discovering and Proving Invariants in Answer Set Programming and Planning (link)
11:25-11:50 Man Luo. Strong Equivalence for LP^MLN Programs (link)
11:50-12:15 Sopo Pkhakadze. Sequent-Type Proof Systems for Three-Valued Default Logic (link)
12:15-12:40 Simon Marynissen. Extensions to Justification Theory (link)

12:40-2:00 Mentor lunch

2:00-2:25 Flavio Everardo. Parity Constraints for Sampling, Diverse Answer Sets Generation and Navigation
2:25-2:50 Daoming Lyu. Knowledge-Based Sequential Decision-Making Under Uncertainty (link)
2:50-3:15 Tiantian Gao. KALM: A Rule-based Approach for Knowledge Authoring and Question Answering (link)
3:15-3:40 Da Shen. SMT-based Constraint Answer Set Solver EZSMT+ (link)

3:40-4:00 Coffee break

4:00-4:25 Thanh H. Nguyen. An Automatic Web Services Composition Framework over Biological Domain and Specifications
4:25-4:50 Philipp Wanko. Design Space Exploration via Answer Set Programming Modulo Theories (link)
4:50-5:15 Fabio Tardivo. Experimenting with Constraint Programming on GPU

5:15-5:30 Good Bye

ORGANIZATION

Jörg Pührer
Fangkai Yang

PROGRAM COMMITTEE

Pedro Cabalar, University of Corunna
Marina De Vos, University of Bath
Martin Gebser, Alpen-Adria-Universität Klagenfurt
Vladimir Lifschitz, University of Texas at Austin
Francesco Ricca, University of Calabria
Alessandra Russo, Imperial College London
Hans Tompits, TU Wien

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung