eclingo: A solver for Epistemic Logic Programs

Open in new window