239 search results - page 5 / 48 » Probabilistic Concurrent Constraint Programming |
85
Voted
IPCO
2007
15 years 2 months ago
2007
122
Voted
POPL
1990
ACM
15 years 4 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
150
click to vote
CL
1999
Springer
15 years 24 days ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
114
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
129
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...