3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.AI2021
Aleatoric Description Logic for Probailistic Reasoning (Long Version)
Tim French, Tom Smoker
Description logics are a powerful tool for describing ontological knowledge bases. That is, they give a factual account of the world in terms of individuals, concepts and relations…
cs.LO2021★ 3 cited
No Finite Model Property for Logics of Quantified Announcements
Hans van Ditmarsch, Tim French, Rustam Galimullin
Quantification over public announcements shifts the perspective from reasoning strictly about the results of a particular announcement to reasoning about the existence of an announ…
cs.LO2018★ 1 cited
A modal aleatoric calculus for probabilistic reasoning: extended version
Tim French, Andrew Gozzard, Mark Reynolds
We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or "by the throw of dice". This system consists of possible worlds that assign distri…