Sciweavers

653 search results - page 4 / 131
» Partial equilibrium logic
Sort
View
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 7 months ago
Propositional theories are strongly equivalent to logic programs
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...
Pedro Cabalar, Paolo Ferraris
AI
2006
Springer
13 years 11 months ago
Satisfaction Equilibrium: Achieving Cooperation in Incomplete Information Games
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
Stéphane Ross, Brahim Chaib-draa
STOC
2005
ACM
142views Algorithms» more  STOC 2005»
14 years 7 months ago
Market equilibrium via the excess demand function
We consider the problem of computing market equilibria and show three results. (i) For exchange economies satisfying weak gross substitutability we analyze a simple discrete versi...
Bruno Codenotti, Benton McCune, Kasturi R. Varadar...
SIAMAM
2011
13 years 2 months ago
On Solutions to Equilibrium Problems for Systems of Stiffened Gases
We consider an isolated system of N immiscible fluids, each following a stiffened-gas equation of state. We consider the problem of calculating equilibrium states from the conser...
Tore Flåtten, Alexandre Morin, Svend Tollak ...
SLP
1990
76views more  SLP 1990»
13 years 8 months ago
Partial Evaluation for Hierarchies of Logic Theories
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
Michele Bugliesi, Evelina Lamma, Paola Mello