The liar; an essay in truth and circularity
The liar; an essay in truth and circularity
Logic and information
Situated nonmonotonic temporal reasoning with BABY‐SIT
AI Communications
Hi-index | 0.00 |
Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.