Logic List Mailing Archive

CfPart: PROGIC 2023: Eleventh Workshop on Combining Probability and Logic, 30 August - 1 September 2023, Utrecht (Netherlands)

PROGIC 2023: Eleventh Workshop on Combining Probability and Logic https://p
rogic2023.sites.uu.nl/

Utrecht University,
Utrecht, Netherlands, August 30 - September 1, 2023

CALL FOR PARTICIPATION

The special focus of  PROGIC2023 is Knowledge representation and reasoning. 


 


Classically, logic and probability offer competing representations of parti
al or incomplete information, with the former assuming a qualitative perspe
ctive on uncertainty and the latter focusing on a quantitative account. Bot
h provide their own policies for updating on new information, combining evi
dence from different sources, and acting under partial information. PROGIC 
aims to bridge these two perspectives. 


 

 Invited Speakers 


* Joe Halpern (Cornell University)

* Gabriele Kern-Isberner (TU Dortmund)

* Aybke zgn (University of Amsterdam)
* Jon Williamson (University of Kent)

 


Program

https://progic2023.sites.uu.nl/program/

 


Registration

Participation is free, but the number of participants is limited. Please re
gister at 


https://progic2023.sites.uu.nl/registration/ 


 


The Series

The *Eleventh Workshop on Combining Probability and Logic* (*PROGIC2023*) c
ontinues the Progic workshop series
<https://blogs.kent.ac.uk/jonw/conferences/progic/>.  


 

Venue
The conference will be held at Utrecht University, in the historic city cen
ter of Utrecht. All talks take place in Drift 25, 3512 BR Utrecht, Room 002

Contact
All questions should be emailed to Dragan Doder, d.doder@uu.nl and Dominik 
Klein, d.klein@uu.nl

 


Acknowledgements: 


We acknowledge generous financial support by Utrecht Universitys Focus A
rea of Human Centered AI (https://www.uu.nl/en/research/human-centered-arti
ficial-intelligence)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php