2 datasets found

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.