3 datasets found

The dataset contains 122 submissions of abstracts, 92 full submissions, and 30 accepted papers.

ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic...

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.