no code implementations • 5 Aug 2020 • Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
The input language of eclingo uses the syntax extension capabilities of clingo to define subjective literals that, as usual in epistemic logic programs, allow for checking the truth of a regular literal in all or in some of the answer sets of a program.