LPNMR Doctoral Consortium 2022

Genova, Italy

September 6, 2022

TOPIC AND OBJECTIVE

The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment.

The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning.

During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields.

TARGET AUDIENCE

The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to):

• Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity

• Implementation of LPNMR systems, including new systems and algorithms

• Applications of LPNMR

The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher.

ACCEPTED DC CONTRIBUTIONS

• Elisa Böhl - Efficient Exploration of Solution Spaces Through Diverse Answer Sets

• Susana Hahn - Automata Techniques for Temporal Answer Set Programming

• Zach Hansen - Tools and Methodologies for Verifying Answer Set Programs

• Antonio Ielo - Learning domain-specific heuristics for ASP

• Davide Ilardi - Machine Learning: a data-driven booster to enhance planning, operation and design tools

• Irfan Kareem - An NLP-based approach for modeling in ASP

• Giuseppe Mazzotta - Compilation Techniques for ASP: from Aggregates to general programs

• Dominik Rusovac - Navigating Solution Spaces over Logic Programs (Extended Abstract)

• Akihiro Takemura - Knowledge Representation Methods for Bridging Machine Learning and Logical Reasoning

COMMITTEE

Organization Chair:

• Martin Gebser, University of Klagenfurt

Program Committee:

• Wolfgang Faber, University of Klagenfurt

• Johannes Fichte, TU Wien

• Markus Hecher, TU Wien

• Vladimir Lifschitz, University of Texas at Austin

• Francesco Ricca, University of Calabria

• Fangkai Yang, NVIDIA Corporation