72 citations · 368 across the 79 of their papers we have counts for
1 paper · 2 filters
Manuel Bodirsky, Martin Hils, Alex Krimkevich
Many fundamental problems in artificial intelligence, knowledge representation, and verification involve reasoning about sets and relations between sets and can be modeled as set c…