41 citations · 100 across the 9 of their papers we have counts for
1 paper · 2 filters
M. Saqib Nawaz, Moin Malik, Yi Li +2
Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (…