Keyword:expressivity

Papers
Cautious Distributed Belief John Lindqvist, Fernando R. Velázquez-Quesada and Thomas Ågotnes EasyChair Preprint no. 8493
Description Logics That Count, and What They Can and Cannot Count Franz Baader and Filippo De Bortoli In:ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia