KR 2021 Doctoral Consortium

Description

The Doctoral Consortium (DC) at KR 2021 is a student mentoring program bringing together PhD students and senior researchers from the area of KR.

The aims of the consortium 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 PhD students working in similar areas;

• to support students with information and advice on academic, research, and industrial careers.

Events

Main Event: Friday, 5 November 2021

The DC main event takes place in Zoom "Room E" of KR 2021 (also reachable from the KR 2021 Gather space).

Use the KR 2021 Gather space for discussions and informal chat during breaks, as well as for the social event.

Use the #doctoral-consortium channel in the KR 2021 Slack workspace for asynchronous discussions related to the DC.

The event will consist of talks by the student participants. The schedule is as follows, where all times are CET (UTC+1):

• 13:00 - 13:25 Wachara Fungwacharakorn - Detecting and Resolving Counterintuitive Consequences in Law as Legal Debugging

• 13:25 - 13:50 Kenneth Skiba - Ranking Extensions in Abstract Argumentation

• 13:50 - 14:15 Loan Ho - Knowledge Representation Formalisms for Hybrid Intelligence

• 14:15 - 14:45 Break

• 14:45 - 15:10 Quentin Manière - Aggregate Queries in Ontology-Based Data Access

• 15:10 - 15:35 Maurice Funk - Active Learning of Queries under Ontologies

• 15:35 - 16:00 Sylvain Lapeyrade - Reasoning with Ontologies for Non-Player Character Decisions in Games

• 16:00 - 16:30 Break

• 16:30 - 16:55 François Laferrière - Formal Foundations of Incremental Dynamic Answer Set Programming

• 16:55 - 17:20 Federica Di Stefano - Pointwise Circumscription in Description Logics: A Local Approach to Non-Monotonicity

• 17:20 - 17:45 Igor de Camargo e Souza Câmara - Topics in Description Logics of Typicality and Quantification Neglect

• 18:00 - 20:00 Social Event

(Click on titles to see abstracts.)

Each slot is at most 20 minutes of talk + at least 5 minutes of discussion.

Talks will be recorded and made available to the participants through a private Slack channel (recordings will not be published).

Lightning Talks: Tuesday, 9 November 2021, 16:15-17:15

There will be a session of lightning talks and "posters" during the main conference.

During the lightning talks, every student is given 2 minutes, in which they may show up to 2 slides. Presentation will be given in alphabetical order, i.e., de Camargo e Souza Câmara, Di Stefano, Fungwacharakorn, Funk, Ho, Laferrière, Lapeyrade, Manière, Skiba.

Afterwards, there will be a break-out session with "posters" (students can prepare a poster, or use any other material to discuss their work, e.g. the slides from their talk). The poster session will be conducted via gather.town.

Mentor-Student Meetings

Mentors and mentees are asked to schedule an invidual one-on-one meeting through Zoom (or a different tool of their choice) of about 40-45 minutes.

Students will be introduced to their respective mentor in a forthcoming, separate e-mail with further instructions.

Registration

All participants (mentees and mentors) have to register for KR 2021 until 15 October 2021. Registration is free of charge, but mandatory.

Proceedings

The proceedings can be found here: KR21DCProceedings.pdf

Chairs

Jens Classen (Simon Fraser University, Canada)

Magdalena Ortiz (TU Vienna, Austria)

Contact E-Mail: kr21virtual+dc@gmail.com