29 citations · 33 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 1 cited
Some Preliminary Steps Towards Metaverse Logic
Antonio L. Furtado, Marco A. Casanova, Edirlei Soares de Lima
Assuming that the term 'metaverse' could be understood as a computer-based implementation of multiverse applications, we started to look in the present work for a logic that would…
cs.LO2022★ 1 cited
A Note on Process Modelling: Combining Situation Calculus and Petri Nets
Edirlei Soares de Lima, Antonio L. Furtado, Bruno Feijó +1
The situation calculus logic model is convenient for modelling the actions that can occur in an information system application. The interplay of pre-conditions and post-conditions…