Sciweavers

4597 search results - page 730 / 920
» The Spider Model of Agents
Sort
View
IJCAI
2003
13 years 9 months ago
Great Expectations. Part I: On the Customizability of Generalized Expected Utility
We propose a generalization of expected utility that we call generalized EU (GEU), where a deci­ sion maker's beliefs are represented by plausibil­ ity measures and the dec...
Francis C. Chu, Joseph Y. Halpern
EACL
1989
ACL Anthology
13 years 9 months ago
Dialog Control in a Natural Language System
In this paper a method for controlling the dialog in a natural language (NL) system is presented. It provides a deep modeling of information processing based on time dependent pro...
Michael Gerlach, Helmut Horacek
CCIA
2009
Springer
13 years 9 months ago
A Formalization of Trust Alignment
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
Andrew Koster, Jordi Sabater-Mir, W. Marco Schorle...
CONCUR
2010
Springer
13 years 9 months ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu
LOGCOM
2010
88views more  LOGCOM 2010»
13 years 6 months ago
Tableaux for Public Announcement Logic
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
Philippe Balbiani, Hans P. van Ditmarsch, Andreas ...