We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...
Wikis have proved enormously successful as a means to collaborate in the creation and publication of textual information. At the same time, a large number of curated databases hav...
Peter Buneman, James Cheney, Sam Lindley, Heiko M&...
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
Digital libraries need to facilitate the use of digital information in a variety of settings. One approach to making information useful is to enable its application to situations ...
Frank M. Shipman III, Richard Furuta, Donald Brenn...
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
Maurizio Gabbrielli, Catuscia Palamidessi, Frank D...