Sciweavers

5090 search results - page 187 / 1018
» Constructing Strategies for Programming
Sort
View
CIE
2009
Springer
14 years 4 months ago
Stochastic Programs and Hybrid Automata for (Biological) Modeling
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
Luca Bortolussi, Alberto Policriti
ATAL
2004
Springer
14 years 1 months ago
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
Mehdi Dastani, Leendert W. N. van der Torre
SIGPLAN
2008
13 years 9 months ago
Programming languages: fundamental concepts for expanding and disciplining the mind
In this white paper, we propose a list of essential concepts of programming languages, and discuss the techniques we have used to teach these concepts. Categories and Subject Desc...
Mitchell Wand, Daniel P. Friedman
EOR
2010
88views more  EOR 2010»
13 years 9 months ago
Mathematical programming approaches for generating p-efficient points
Abstract: Probabilistically constrained problems, in which the random variables are finitely distributed, are nonconvex in general and hard to solve. The p-efficiency concept has b...
Miguel A. Lejeune, Nilay Noyan
ATAL
2008
Springer
13 years 11 months ago
GS3 and Tartanian: game theory-based heads-up limit and no-limit Texas Hold'em poker-playing programs
We demonstrate two game theory-based programs for headsup limit and no-limit Texas Hold'em poker. The first player, GS3, is designed for playing limit Texas Hold'em, in ...
Andrew Gilpin, Tuomas Sandholm, Troels Bjerre S&os...