Current Trends in Automated Deduction
- First Online:
- Cite this article as:
- Giesl, J. Künstl Intell (2010) 24: 11. doi:10.1007/s13218-010-0011-9
- 74 Downloads
Automated deduction is one of the key areas in artificial intelligence. In this short article we give an overview on some of the main current research topics in automated deduction.