Timed Soft Concurrent Constraint Programs-Reference-Cited by-同舟云学术

Timed Soft Concurrent Constraint Programs

Published: Issue: Volume: Page:50-66
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bistarelli Stefano,Gabbrielli Maurizio,Meo Maria Chiara,Santini Francesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68265-3_4.pdf

Reference21 articles.

1. Berry, G., Gonthier, G.: The esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992)

2. Bistarelli, S.: Semirings for Soft Constraint Solving and Programming (LNCS). Springer-Verlag, Heidelberg (2004)

3. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)

4. Bistarelli, S., Montanari, U., Rossi, F.: Soft concurrent constraint programming. ACM Trans. Comput. Logic 7(3), 563–589 (2006)

5. Bistarelli, S., Santini, F.: A nonmonotonic soft constraint based language to model QoS negotiation. In: Doctoral Consortium of AAAI 2008, AAAI Press, Menlo Park (2008) (to appear)

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games;Theory and Practice of Logic Programming;2023-07-05

2. Timed Concurrent Language for Argumentation: An Interleaving Approach;Practical Aspects of Declarative Languages;2022

3. Observational and behavioural equivalences for soft concurrent constraint programming;Journal of Logical and Algebraic Methods in Programming;2017-11

4. A Labelled Semantics for Soft Concurrent Constraint Programming;Lecture Notes in Computer Science;2015

5. A Proof Theoretic Study of Soft Concurrent Constraint Programming;Theory and Practice of Logic Programming;2014-07