19 citations · 43 across the 11 of their papers we have counts for
1 paper · 1 filter
Thomas Linsbichler, Jörg Pührer, Hannes Strass
Realizability for knowledge representation formalisms studies the following question: given a semantics and a set of interpretations, is there a knowledge base whose semantics coin…