31 citations · 66 across the 9 of their papers we have counts for
1 paper · 1 filter
Michael Kohlhase, Jan Frederik Schaefer
These days, vast amounts of knowledge are available online, most of it in written form. Search engines help us access this knowledge, but aggregating, relating and reasoning with i…