eclingo: A solver for Epistemic Logic Programs

5 August 2020

Papers citing "eclingo: A solver for Epistemic Logic Programs"

6 / 6 papers shown

Title
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting Jorge Fandinno LRM 15 7 0 22 Jul 2019
Founded World Views with Autoepistemic Equilibrium Logic Pedro Cabalar Jorge Fandinno L. Fariñas del Cerro LRM 11 15 0 20 Feb 2019
Splitting Epistemic Logic Programs Pedro Cabalar Jorge Fandinno L. Fariñas del Cerro 15 25 0 20 Dec 2018
A survey of advances in epistemic logic program solvers A. Leclerc P. Kahl ReLM LRM 13 16 0 19 Sep 2018
Multi-shot ASP solving with clingo Martin Gebser Roland Kaminski B. Kaufmann Torsten Schaub LRM ReLM 54 248 0 27 May 2017
Revisiting Epistemic Specifications M. Truszczynski LRM 58 44 0 16 Aug 2011