KI - Künstliche Intelligenz

, Volume 24, Issue 1, pp 11–13

Current Trends in Automated Deduction

Fachbeitrag

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.

References

  1. 1.
    Ahrendt W, Beckert B, Giese M, Rümmer P (2010) Practical aspects of automated deduction for program verification. Künstl Intell. In this issue Google Scholar
  2. 2.
    Appel K, Haken W (1976) Every map is four colorable. Bull Am Math Soc 82:711–712 MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Baader F, Lutz C, Turhan A-Y (2010) Small is again beautiful in description logics. Künstl Intell. In this issue Google Scholar
  4. 4.
    Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge MATHGoogle Scholar
  5. 5.
    Baumgartner P, Thorstensen E (2010) Instance based methods—a brief overview. Künstl Intell. In this issue Google Scholar
  6. 6.
    Beckert B, Moskal M (2010) Deductive verification of system software in the Verisoft XT project. Künstl Intell. In this issue Google Scholar
  7. 7.
    Cook S (1971) The complexity of theorem proving procedures. In: Proc STOC’71. ACM, New York, pp 151–158 Google Scholar
  8. 8.
    Davis M, Logemann G, Loveland D (1962) A machine program for theorem proving. Commun ACM 5(7):394–397 MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Egly U, Haller L (2010) A SAT solver for circuits based on the tableau method. Künstl Intell. In this issue Google Scholar
  10. 10.
    Furbach U, Glöckner I, Helbig H, Pelzer B (2010) Logic-based question answering. Künstl Intell. In this issue Google Scholar
  11. 11.
    Marques-Silva J (2008) Practical applications of Boolean satisfiability. In: Proc WODES’08. IEEE, New York Google Scholar
  12. 12.
    McCune W (1997) Solution of the Robbins problem. J Autom Reason 19(3):263–276 MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Platzer A (2010) Differential dynamic logics. Künstl Intell. In this issue Google Scholar
  14. 14.
    Schneider-Kamp P (2010) Static termination analysis for Prolog using term rewriting and SAT solving. Künstl Intell. In this issue Google Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

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

Personalised recommendations