Sciweavers

2911 search results - page 234 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
GROUP
2003
ACM
15 years 11 months ago
Communities of action: a cognitive and social approach to the design of CSCW systems
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...
Manuel Zacklad
KR
1998
Springer
15 years 10 months ago
Specifying Transactions for Extended Abduction
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
Katsumi Inoue, Chiaki Sakama
AAAI
1990
15 years 7 months ago
QPC: A Compiler from Physical Models into Qualitative Differential Equations
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
James M. Crawford, Adam Farquhar, Benjamin Kuipers
EACL
1989
ACL Anthology
15 years 7 months ago
A logical treatment of semi-free word order and bounded discontinuous constituency
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
Mike Reape
ATAL
2010
Springer
15 years 7 months ago
Honor among thieves: collusion in multi-unit auctions
We consider collusion in multi-unit auctions where the allocation and payments are determined using the VCG mechanism. We show how collusion can increase the utility of the collud...
Yoram Bachrach