The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
We present a formalism for representing the formation of intentions by agents engaged in cooperative activity. We use a syntactic approach presenting a formal logical calculus tha...
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
This paper presents and evaluates models created according to a schema that provides a description of the joint distribution of the values of sense tags and contextual features th...
A generative statistical model of dependency syntax is proposed based on 'l'csniSre's classical theory. It provides a stochastic formalization of the original model...