People can interact much more readily with a multi-agent system if they can understand it in cognitive terms. Modern work on “BDI agents” emphasizes explicit representation of ...
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
Estimating different characteristics viz., size, cost, etc. of sofrware during different phases of software development is required to manage the resources effectively. Function p...
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
We present an image synthesis methodology and a system built around it. Given a sparse set of photographs taken from unknown viewpoints, the system generates images from new, diff...