Published June 25, 2025
| Version publish
Software
Open
ovasicek/iclp25-scasp-zeno: zenodo artifact
Authors/Creators
Description
This is an archive of artifacts linked from the ICLP'25 paper "On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming" by Vasicek O., Arias J., Fiedor J., Gupta G., Hall B., Krena B., Larson B., and Vojnar T.
Files
ovasicek/iclp25-scasp-zeno-publish.zip
Files
(207.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:5f98122e3d867e25f13850f83bdd16f9
|
207.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/ovasicek/iclp25-scasp-zeno/tree/publish (URL)
Software
- Repository URL
- https://github.com/ovasicek/iclp25-scasp-zeno