FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Explaining Actual Causation via Reasoning about Actions and Change

Emily Leblanc

Model Revision of Logical Regulatory Networks using Logic-based Tools

Filipe Gouveia, Ines Lynce and Pedro T. Monteiro

Knowledge Authoring and Question Answering via Controlled Natural Language

Tiantian Gao

Translating P-log, LP^{MLN}, LPOD, and CR-Prolog2 into Standard Answer Set Programs

Zhun Yang
Total: 4 presentations.