Sciweavers

89 search results - page 15 / 18
» Performatives in a Rationally Based Speech Act Theory
Sort
View
ACMICEC
2003
ACM
158views ECommerce» more  ACMICEC 2003»
14 years 22 days ago
Mechanisms for coalition formation and cost sharing in an electronic marketplace
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...
Cuihong Li, Uday Rajan, Shuchi Chawla, Katia Sycar...
FOSSACS
2012
Springer
12 years 3 months ago
A Coalgebraic Perspective on Minimization and Determinization
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
Jirí Adámek, Filippo Bonchi, Mathias...
IJCAI
1993
13 years 8 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
ATAL
2004
Springer
14 years 26 days ago
Teaching and Working with Robots as a Collaboration
New applications for autonomous robots bring them into the human environment where they are to serve as helpful assistants to untrained users in the home or office, or work as ca...
Cynthia Breazeal, Guy Hoffman, Andrea Lockerd
IUI
2003
ACM
14 years 22 days ago
Self-adaptive multimodal-interruption interfaces
This work explores the use of ambient displays in the context of interruption. A multimodal interface was created to communicate with users by using two ambient channels for inter...
Ernesto Arroyo, Ted Selker