EasyChair Smart SlideDocs/Log in
Conference: ICLP - DC 2018 (International Conference on Logic Programming - Doctoral Consortium)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Model Revision of Logical Regulatory Networks using Logic-based Tools

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

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

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

Zhun Yang

Explaining Actual Causation via Reasoning about Actions and Change

Explaining Actual Causation via Reasoning about Actions and Change

Emily Leblanc

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair