Methods of automated reasoning
Lecture notes in computer science1986pp. 171–217
Related Papers
- → A contemporary approach to hybrid expert systems case base reasoning(2010)7 cited
- Backward P-reasoning and Attribution Residual Discovery-Application(2011)
- → Methods of automated reasoning(1986)6 cited
- → Methods of Automated Reasoning(1987)1 cited
- Towards a unified reasoning theory: An evaluation of the Human Reasoning Module in Spatial Reasoning(2015)