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)


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:


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 LPMLN 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


Jörg Pührer
Fangkai Yang


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