FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

A Survey of Advances in Epistemic Logic Program Solvers

Anthony Leclerc and Patrick Kahl

selp: A Single-Shot Epistemic Logic Program Solver

Manuel Bichler, Michael Morak and Stefan Woltran

Syntactic Conditions for Antichain Property in Consistency Restoring Prolog

Vu Phan
Total: 3 presentations.