The speci al focus of PROGIC2023 is Knowledge representa tion and reasoning. Classically, logic and pr obability offer competing representations of parti al or incomplete information, with the former assu ming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Bot h provide their own policies for updating on new i nformation, combining evidence from different sour ces, and acting under partial information.
\nInvited Speakers: Joe Halpern (Cornell Universi ty), Gabriele Kern-Isberner (TU Dortmund), Aybüke Özgün (University of Amsterdam) and Jon Williamson (University of Kent).
\nWe s olicit submissions that bridge these two perspecti ves. These could, for instance, apply probabilisti c or other quantitative tools to the study of logi cal systems or use logical frameworks, classical o r substructural, for understanding probabilistic a pproaches. They may also apply to specific sub-are as, such as game theory, network theory, causal mo delling or machine learning. We especially invite submissions that combine probability and logic for knowledge representation and reasoning broadly co nstrued.
\nSubmissions should consist of a
short abstract (~200 words) and an *extended abst
ract* (~1000 words, pdf format). The submission po
rtal is at https://progic23.sciencescon
f.org/. Submission deadline: April 15,
2023. Notification of acceptance: