1 code implementation • 6 Aug 2021 • Viktor Besin, Markus Hecher, Stefan Woltran
In this paper, we take a next step and contribute to epistemic logic programming in two ways: First, we establish quantitative reasoning for ELPs, where the acceptance of a certain set of literals depends on the number (proportion) of world views that are compatible with the set.