KI - Künstliche Intelligenz

, Volume 24, Issue 1, pp 11–13

Current Trends in Automated Deduction


DOI: 10.1007/s13218-010-0011-9

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.

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  1. 1.Lehr- und Forschungsgebiet Informatik 2RWTH Aachen UniversityAachenDeutschland