: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
Applications of fuzzy logic in heuristic control have been highly successful, but which aspects of fuzzy logic are essential to its practical usefulness? This paper shows that an ...