Project Abstract: Logic Atlas and Integrator (LATIN)

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe

In: James H. Davenport , William M. Farmer , Josef Urban , Florian Rabe (Hrsg.). Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics (CICM-11) July 18-23 Bertinoro, Forli Italy Seiten 289-291 Lecture Notes in Computer Science (LNCS) 6824 Springer 2011.


LATIN aims at developing methods, techniques, and tools for interfacing logics and related formal systems. These systems are at the core of mathematics and computer science and are implemented in systems like (semi-)automated theorem provers, model checkers, computer algebra systems, constraint solvers, or concept classifiers. Unfortunately, these systems have differing domains of applications, foundational assumptions, and input languages, which makes them non-interoperable and difficult to compare and evaluate in practice.


Weitere Links

main.pdf (pdf, 168 KB )

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