1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…