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
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.