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