×

ELPS

swMATH ID: 31013
Software Authors: Balai, E.
Description: ELPS: epistemic logic programs with sorts
Homepage: https://github.com/iensen/elps/wiki
Source Code:  https://github.com/iensen/elps
Related Software: ESParser; ESmodels; GISolver; EHEX; Wviews; selp; GI-log; GitHub; Clingo; Potassco; Gringo
Cited in: 1 Publication

Citations by Year