Sciweavers

14084 search results - page 85 / 2817
» A Theory for Game Theories
Sort
View
ENTCS
2010
105views more  ENTCS 2010»
13 years 8 months ago
From Focalization of Logic to the Logic of Focalization
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
Michele Basaldella, Alexis Saurin, Kazushige Terui
CORR
2006
Springer
110views Education» more  CORR 2006»
13 years 8 months ago
The topology of covert conflict
Often an attacker tries to disconnect a network by destroying nodes or edges, while the defender counters using various resilience mechanisms. Examples include a music industry bod...
Shishir Nagarja
APAL
2005
117views more  APAL 2005»
13 years 8 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger
CSL
2002
Springer
13 years 8 months ago
Designs, Disputes and Strategies
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
Claudia Faggian, Martin Hyland
DATAMINE
1998
175views more  DATAMINE 1998»
13 years 7 months ago
A Microeconomic View of Data Mining
We present a rigorous framework, based on optimization, for evaluating data mining operations such as associations and clustering, in terms of their utility in decisionmaking. Thi...
Jon M. Kleinberg, Christos H. Papadimitriou, Prabh...