41 citations · 100 across the 9 of their papers we have counts for
1 paper · 1 filter
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 (…