I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
In this paper I define spatio-temporal regions as pairs consisting of a spatial and a temporal component and I define topological relations between them. Using the notion of rough ...
Abstract. In this paper, we present a framework for supporting intelligent fault and performance management for communication networks. Belief networks are taken as the basis for k...
This paper examines the discourse fluictions that different types of subjects perform in Italian within the centering framework (Grosz el; al., 1995). I build on my previous work ...
Abstract. The fields of philosophy and informatics entertain two somewhat different conceptions of ontology. Philosophical ontology is a branch of metaphysics dating back at least ...