INKA: The Next Generation

Dieter Hutter, Claus Sengler

In: Michael A. McRobbie , John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International Conference on Automated Deduction (CADE) 13th July 30-August 3 New Brunswick NJ United States Seiten 288-292 Lecture Notes in Computer Science (LNCS) 1104 ISBN 978-3-540-61511-8 Springer-Verlag Berlin, Heidelberg 1996.


The INKA system is a first-order theorem prover with induction based on the explicit induction paradigm. Since 1986 when a first version of the INKA system was developed there have been many improvements. In this description we will give a short overview of the current system state and its abilities. (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence