This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...
In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. W...
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...