In this paper, we evaluate mass knowledge acquisition using modified ALICE chatterbots. In particular we investigate the potential of allowing subjects to modify chatterbot respon...
Robert P. Schumaker, Ying Liu, Mark Ginsburg, Hsin...
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten...
Facilitating collaborative knowledge work is a crucial issue in management: knowledge is a key corporate asset, but it is typically spread across various people in different organ...
Sabrina Bresciani, Alan F. Blackwell, Martin J. Ep...
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...