KI - Künstliche Intelligenz

, Volume 24, Issue 1, pp 11-13

First online:

Current Trends in Automated Deduction

  • Jürgen GieslAffiliated withLehr- und Forschungsgebiet Informatik 2, RWTH Aachen University Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.