Learn More
We present a new framework for amalgamating two successful programming paradigms: logic programming and object-oriented programming. From the former, we keep the delarative reading of programs. From the latter, we select two crucial notions: (i) the ability for objects to dynamically change their internal state during the computation; (ii) the structured(More)
Over the past few years there have been reports discussing the preservation of hearing after the removal of acoustic neuromas through the middle cranial fossa or the suboccipital approaches. This is a complex issue with many facets and controversies. In an attempt to answer at least some of these controversies, this article reviews the experience of our(More)
The promise of workflow solutions for coordinating organizational processes is currently being obscured by strong criticism of the rigidity of their work representations. This rigidity arises in part from viewing work processes as unfolding along a single line of temporally chained activities. In reality, work evolves both horizontally, in the cooperation(More)
Adaptation to changes in organizational procedures and business rules is a sine qua non for workflow management systems, if they have to be useful to organizations. This paper describes an approach based on workflow agents capable of managing dynamic changes in business policies. The two key aspects of our approach are (i) the agentification of the process(More)
This paper describes WebFlow, an environment thatsupports distributed coordination services on theWorld Wide Web. WebFlow leverages the HTTP Webtransport protocol and consists of a number of toolsfor the development of applications that require thecoordination of multiple, distributed servers.Typical applications of WebFlow include distributeddocument(More)
The purpose of this thesis is in showing how recent developments in logic programming can be exploited to encode in a computational environment the features of certain linguistic theories. We are in this way able to make available for the purpose of natural language processing sophisticated capabilities of linguistic analysis directly justified by well(More)
Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation. We focus here on models where computation is identified with proof search in the sequent system of Linear Logic. A proof normalization procedure, called “focusing”,(More)