1598 search results - page 88 / 320 » A Unified Computation Model for Functional and Logic Program... |
129
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
137
Voted
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
112
Voted
FMSD
2002
15 years 4 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
136
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
131
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...