Sciweavers

175 search results - page 6 / 35
» Generalizing stable semantics by preferences
Sort
View
ESA
2007
Springer
143views Algorithms» more  ESA 2007»
14 years 1 months ago
Two's Company, Three's a Crowd: Stable Family and Threesome Roommates Problems
We investigate Knuth’s eleventh open question on stable matchings. In the stable family problem, sets of women, men, and dogs are given, all of whom state their preferences among...
Chien-Chung Huang
FC
2006
Springer
109views Cryptology» more  FC 2006»
13 years 11 months ago
A Private Stable Matching Algorithm
Existing stable matching algorithms reveal the preferences of all participants, as well as the history of matches made and broken in the course of computing a stable match. This in...
Philippe Golle
LANMR
2007
13 years 9 months ago
Generating maximal models using the stable model semantics
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...
Juan Carlos Nieves, Mauricio Osorio
LPNMR
2004
Springer
14 years 25 days ago
Semantics for Dynamic Logic Programming: A Principle-Based Approach
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
José Júlio Alferes, Federico Banti, ...
COMMA
2008
13 years 9 months ago
Basic influence diagrams and the liberal stable semantics
Abstract. This paper is concerned with the general problem of constructing decision tables and more specifically, with the identification of all possible outcomes of decisions. We ...
Paul-Amaury Matt, Francesca Toni