Giesl, Jürgen2018-01-082018-01-0820102010https://dl.gi.de/handle/20.500.12116/11122Automated 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.Text/Journal Article1610-1987