-
ICLP 2019 Dataset
The dataset contains 122 submissions of abstracts, 92 full submissions, and 30 accepted papers. -
ESmodels: An Epistemic Specification Solver
ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic... -
Propositional Horn Clause Logic Dataset
The dataset used in this paper is a collection of questions and answers related to logic programming, with a focus on propositional Horn clause logic.
