Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
-- Intelligent assist devices (IADs) are a new class of hybrid1 devices for direct, physical, interaction with a human operator in shared workspaces. These devices
Prasad Akella, Michael A. Peshkin, J. Edward Colga...
This paper considers the problem of key agreement in a group setting with highly-dynamic group member population. A protocol suite, called CLIQUES, is developed by extending the w...
Market engineering is making markets work. Markets are information processing and information producing information systems which mediate allocation of resources within or between...