1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Direct Encoding of Declare Constraints in ASP
Francesco Chiariello, Valeria Fionda, Antonio Ielo +1
Answer Set Programming (ASP), a well-known declarative logic programming paradigm, has recently found practical application in Process Mining. In particular, ASP has been used to m…
cs.IT2024
A geometric framework for interstellar discourse on fundamental physical structures
Giampiero Esposito, Valeria Fionda
This paper considers the possibility that abstract thinking and advanced synthesis skills might encourage extraterrestrial civilizations to accept communication with mankind on Ear…