PROGIC 2023: Eleventh Workshop on Combining Probability and Logic https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fprogic2023.sites.uu.nl%2F&data=05%7C01%7Cuai%40engr.orst.edu%7Cd67675963ac54c935a1008db20ebe761%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638139969797799092%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=%2B7g1ntbG5Lts7Wbksu1TSy4aF0ysqQ72lREmudQIeZ8%3D&reserved=0 Utrecht University, Utrecht, Netherlands, August 30 - September 1, 2023 The special focus of PROGIC2023 is Knowledge representation and reasoning.
Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information. We solicit submissions that bridge these two perspectives. These could, for instance, apply probabilistic or other quantitative tools to the study of logical systems or use logical frameworks, classical or substructural, for understanding probabilistic approaches. They may also apply to specific sub-areas, such as game theory, network theory, causal modelling or machine learning. We especially invite submissions that combine probability and logic for knowledge representation and reasoning broadly construed. Invited Speakers * Didier Dubois (IRIT, France) * Joe Halpern (Cornell University) * Aybüke Özgün (University of Amsterdam) * Jon Williamson (University of Kent) Submissions Submissions should consist of a short abstract (~200 words) and an *extended abstract* (~1000 words, pdf format). The submission portal is at https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fprogic23.sciencesconf.org%2F&data=05%7C01%7Cuai%40engr.orst.edu%7Cd67675963ac54c935a1008db20ebe761%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638139969797809044%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=fHa4n1RJD1L1TUK0s5zpRkL3GlE4XfARoRKsNpgSnew%3D&reserved=0 Dates and Deadlines * Submission deadline: *April 15, 2023* * Notification of acceptance: *May 15, 2023* * Conference: * August 30 - September 1, 2023* Workshop Website https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fprogic2023.sites.uu.nl%2F&data=05%7C01%7Cuai%40engr.orst.edu%7Cd67675963ac54c935a1008db20ebe761%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638139969797809044%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=73fiy0prm42%2B5EMBT4%2FNi%2FzojnMcDPMdv9uIIlCb%2BTo%3D&reserved=0 (general information) https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fprogic23.sciencesconf.org%2F&data=05%7C01%7Cuai%40engr.orst.edu%7Cd67675963ac54c935a1008db20ebe761%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638139969797819003%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=xMTcqTwQxXLUab4OPsgra8kzKB62Z2Fgl2pxE1RvB0M%3D&reserved=0 (submission) Special Issue There will also be a special issue of the Journal of Logic and Computation devoted to the themes of this workshop. After the conference, we invite submissions of papers to this volume. The Series The *Eleventh Workshop on Combining Probability and Logic* (*PROGIC2023*) continues the Progic workshop series <https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fblogs.kent.ac.uk%2Fjonw%2Fconferences%2Fprogic%2F&data=05%7C01%7Cuai%40engr.orst.edu%7Cd67675963ac54c935a1008db20ebe761%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638139969797819003%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=IP0HR7w1qr5RsnQSWspbi3lItWm49emW4Z7bm6ZC53M%3D&reserved=0>. Committees Program Committee * Niki Pfeifer (Regensburg) * Jan-Willem Romeijn (Groningen) * Marta Sznajder (Muenchen) * Gregory Wheeler (Frankfurt) * Jon Williamson (Kent) * Francesca Zaffora Blando (CMU Pittsburgh) * Dominik Klein (Utrecht) * Dragan Doder (Utrecht) Organizing committee * Dominik Klein (Utrecht University) * Dragan Doder (Utrecht University) Venue The conference will be held at Utrecht University, in the historic city center of Utrecht. Contact All questions should be emailed to Dragan Doder, d.do...@uu.nl<mailto:d.do...@uu.nl> and Dominik Klein, d.kl...@uu.nl<mailto:d.kl...@uu.nl> Acknowledgements: We acknowledge generous financial support by Utrecht University’s Focus Area of Human Centered AI (https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.uu.nl%2Fen%2Fresearch%2Fhuman-centered-artificial-intelligence&data=05%7C01%7Cuai%40engr.orst.edu%7Cd67675963ac54c935a1008db20ebe761%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638139969797828957%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=dTh4ija9L%2BddY0dB5qcyNnUHAbUMS%2FH06ZnjtZmSsDA%3D&reserved=0)
_______________________________________________ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
