Sciweavers

2736 search results - page 144 / 548
» Implementable allocation rules
Sort
View
IJCAI
2001
15 years 2 months ago
Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges
Generalized Vickrey mechanisms have received wide attention in the literature because they are efficient and strategyproof, i.e. truthful bidding is optimal whatever the bids of o...
David C. Parkes, Jayant Kalagnanam, Marta Eso
139
Voted
ACL
1990
15 years 1 months ago
Mixed Initiative in Dialogue: An Investigation into Discourse Segmentation
Conversation between two people is usually of MIXED-INITIATIVE, with CONTROL over the conversation being transferred from one person to another. We apply a set of rules for the tr...
Marilyn A. Walker, Steve Whittaker
103
Voted
CADE
2008
Springer
16 years 1 months ago
Towards Fully Automated Axiom Extraction for Finite-Valued Logics
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
Dalmo Mendonca, João Marcos
139
Voted
WADT
2004
Springer
15 years 6 months ago
From Conditional to Unconditional Rewriting
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
Grigore Rosu
98
Voted
CSCLP
2003
Springer
15 years 6 months ago
A Comparative Study of Arithmetic Constraints on Integer Intervals
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...
Krzysztof R. Apt, Peter Zoeteweij