1 citations · 2 across the 2 of their papers we have counts for
3 papers
Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models
Edirlei Soares de Lima, Marco A. Casanova, Antonio L. Furtado
When a direct proof of a statement seems hard or even impossible to obtain, there may exist another statement (or set of statements) , somehow related to , on the bas…
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…
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…