Publications

This page lists a few key publications about FO(·), IDP-Z3 and related tools.

Denecker, M. (2000, July). Extending classical logic with inductive definitions. In International Conference on Computational Logic (pp. 703-717). Berlin, Heidelberg: Springer Berlin Heidelberg. 🏆 20-Year Test of Time Award at ICLP 2020 🏆
Denecker, M., Pelov, N., & Bruynooghe, M. (2001). Ultimate well-founded and stable semantics for logic programs with aggregates. In Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26–December 1, 2001 Proceedings 17 (pp. 212-226). Springer Berlin Heidelberg. 🏆 20-Year Test of Time award at ICLP 2021 🏆
Vennekens, J., Denecker, M., & Bruynooghe, M. (2010). FO(ID) as an extension of DL with rules. Annals of Mathematics and Artificial Intelligence, 58(1), 85–115.

Carbonnelle, P., Vandevelde, S., Vennekens, J., & Denecker, M. (2022). IDP-Z3: A reasoning engine for FO (.).
Carbonnelle, P., Aerts, B., Deryck, M., Vennekens, J., & Denecker, M. (2019). An interactive consultant. Proceedings of the 31st benelux conference on artificial intelligence (BNAIC 2019) and the 28th belgian dutch conference on machine learning (benelearn 2019), brussels, belgium, november 6-8, 2019 (Vol. 2491). CEUR-WS.org.
De Cat, B., Bogaerts, B., Bruynooghe, M., Janssens, G., & Denecker, M. (2018). Predicate logic as a modeling language: The IDP system. In M. Kifer & Y. A. Liu (Eds.), Declarative Logic Programming: Theory, Systems, and Applications (pp. 279–323). ACM.
Denecker, M., & Vennekens, J. (2008). Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. In M. Garcia de la Banda & E. Pontelli (Eds.), Logic Programming (Vol. 5366, pp. 71–76). Springer Berlin Heidelberg.

Callewaert, B., Decleyre, N., Vandevelde, S., Comenda, N., Coppens, B., & Vennekens, J. (2023). Facilitating Investment Strategy Negotiations through Logic. 2023 IEEE Symposium Series on Computational Intelligence (SSCI)
Vandevelde, S., Jordens, J., Van Doninck, B., Witters, M., & Vennekens, J. (2024). Knowledge-Based Support for Adhesive Selection: Will it Stick? . Theory and Practice of Logic Programming.
Aerts, B., Deryck, M., & Vennekens, J. (2022). Knowledge-based decision support for machine component design: A case study. Expert Systems with Applications, 187, 115869.
Deryck, M., Comenda, N., Coppens, B., & Vennekens, J. (2021). Combining logic and natural language processing to support investment management. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 18, Article 1.
Deryck, M., Devriendt, J., Marynissen, S., & Vennekens, J. (2019). Legislation in the knowledge base paradigm: Interactive decision enactment for registration duties. Proceedings of the 13th IEEE Conference on Semantic Computing, 174–177.

Callewaert, B., Vandevelde, S., Coppens, B., Comenda, N., Decleyre, N., & Vennekens, J. (2024). Extending Feature Models with Types. Proceedings of the 57th Hawaii International Conference on System Sciences.
Vandevelde, S., Callewaert, B., & Vennekens, J. (2022). Interactive feature modeling with background knowledge for validation and configuration. Proceedings of the 26th ACM International Systems and Software Product Line Conference-Volume B, 209–216. 🏆 Best PhD Paper Award at ConfWS 2022 🏆
Vandevelde, S., Aerts, B., & Vennekens, J. (2021). Tackling the DM challenges with cDMN: A tight integration of DMN and constraint reasoning. Theory and Practice of Logic Programming, 1–24. 🏆 Best Paper Award at RuleML+RR 2020 🏆
Vandevelde, S., Etikala, V., Vanthienen, J., & Vennekens, J. (2021). Leveraging the power of IDP with the flexibility of DMN: a multifunctional API. .
Dasseville, I., Janssens, L., Janssens, G., Vanthienen, J., & Denecker, M. (2016). Combining DMN and the knowledge base paradigm for flexible decision enactment. 1620. 🏆 Winner of RuleML 2016 Challenge 🏆