In this paper we present a natural language virtual tutoring system that has been developed to assist students during the learning process. For this purpose, we have used several ...
Abstract. Message semantics are traditionally defined in terms of mental states, which is a trend that is criticized for assuming the sincerity and cooperativeness of agents. To c...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhy...
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...