| W08-1507 | like all of our approaches to | automatic reasoning | , is grounded in TMRs . There |
| P88-1021 | collateral benefit , efficient | automatic reasoning | methods for the formalism exist |
| W13-0705 | into the situation calculus for | automatic reasoning | systems . By individuating the |
| W09-0602 | for knowledge representation and | automatic reasoning | -- a trend leading to the recent |
| A94-1001 | , which is suitable for ( 1 ) | automatic reasoning | by the job evaluation component |
| W13-0704 | incorporated in a complete system for | automatic reasoning | on spatial relations among objects |
| W02-1302 | This requires very sophisticated | automatic reasoning | methods , based on systematic |
| S14-2044 | Bos and Markert , 2005 ) where | automatic reasoning | tools are used to check the logical |
