KI - Künstliche Intelligenz

, Volume 24, Issue 1, pp 11–13

Current Trends in Automated Deduction

Authors

    • Lehr- und Forschungsgebiet Informatik 2RWTH Aachen University
Fachbeitrag

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
  • 61 Views

Abstract

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