14 citations · 20 across the 3 of their papers we have counts for
1 paper · 1 filter
Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald
The vast quantity of data generated and captured every day has led to a pressing need for tools and processes to organize, analyze and interrelate this data. Automated reasoning an…