33 citations · 99 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…