A survey of advances in epistemic logic program solvers

19 September 2018

Papers citing "A survey of advances in epistemic logic program solvers"

6 / 6 papers shown

Title
ASP-Core-2 Input Language Format Francesco Calimeri Wolfgang Faber Martin Gebser Giovambattista Ianni Roland Kaminski T. Krennwallner Nicola Leone Marco Maratea Francesco Ricca Torsten Schaub KELM 53 260 0 11 Nov 2019
Multi-shot ASP solving with clingo Martin Gebser Roland Kaminski B. Kaufmann Torsten Schaub LRM ReLM 54 248 0 27 May 2017
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster P. Kahl A. Leclerc Tran Cao Son KELM 15 14 0 24 Aug 2016
ESmodels: An Epistemic Specification Solver Zhizheng Zhang Kaikai Zhao 36 4 0 14 May 2014
SPARC - Sorted ASP with Consistency Restoring Rules Evgenii Balai Michael Gelfond Yuanlin Zhang 49 10 0 08 Jan 2013
Revisiting Epistemic Specifications M. Truszczynski LRM 63 44 0 16 Aug 2011