Disjunctive Existential Ruleset Termination Checker

Project information

This project evolves mostly in the scope of research project related efforts and is therefore partly supported by Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) in project 389792660 (TRR 248, Center for Perspicuous Systems, https://www.perspicuous-computing.science/), by the Bundesministerium für Bildung und Forschung (BMBF, Federal Ministry of Education and Research) under European ITEA project 01IS21084 (InnoSale, Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence, https://www.innosale.eu/), by BMBF and DAAD (German Academic Exchange Service) in project 57616814 (SECAI, School of Embedded and Composite AI, https://secai.org), by the Center for Advancing Electronics Dresden (cfaed); and by the ANR project CQFD (ANR-18-CE23-0003).