Sciweavers

5456 search results - page 83 / 1092
» General Equilibrium Theory
Sort
View
JUCS
2010
133views more  JUCS 2010»
14 years 11 months ago
From Computing Sets of Optima, Pareto Sets, and Sets of Nash Equilibria to General Decision-Related Set Computations
: Several algorithms have been proposed to compute sets of optima, Pareto sets, and sets of Nash equilibria. In this paper, we present a general algorithm for decision-related set ...
Vladik Kreinovich, Bartlomiej Jacek Kubica
ISIPTA
2005
IEEE
130views Mathematics» more  ISIPTA 2005»
15 years 10 months ago
No Double Counting Semantics for Conditional Independence
The main goal of this paper is to describe a new semantic for conditional independence in terms of no double counting of uncertain evidence. For ease of exposition, we use probabi...
Prakash P. Shenoy
LICS
1994
IEEE
15 years 8 months ago
A General Semantics for Evaluation Logic
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
Eugenio Moggi
SPDECE
2007
115views Education» more  SPDECE 2007»
15 years 5 months ago
On the General Structure of Ontologies of Instructional Models
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...
Miguel-Ángel Sicilia
ENTCS
2007
104views more  ENTCS 2007»
15 years 4 months ago
General Reversibility
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
Vincent Danos, Jean Krivine, Pawel Sobocinski