KI - Künstliche Intelligenz

, Volume 24, Issue 1, pp 11–13

Current Trends in Automated Deduction

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
  • 74 Downloads

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

Authors and Affiliations

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