The ICARUS-System for Interactive Coherence Establishment in Logic Programs

Andre Thevapalan, Jesse Heyninck

Research output: Contribution to journalConference Article in journalAcademicpeer-review


When modelling expert knowledge as logic programs, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can become quite cumbersome, especially in larger programs. Moreover, establishing coherence requires expertise regarding the modelled knowledge as well as technical knowledge about the program and its rules. In this demo, we present the implementation of a workflow that enables knowledge experts to obtain a coherent logic program by modifying it in interaction with a system that explains the causes of the incoherence and provides possible solutions to choose from.

Original languageEnglish
Pages (from-to)256-259
Number of pages4
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 12 Sept 2023
Event39th International Conference on Logic Programming, ICLP 2023 - London, United Kingdom
Duration: 9 Jul 202315 Jul 2023

Cite this