Timed soft concurrent constraint programs: An interleaved and a parallel approach

DOI10.1017/S1471068414000106zbMath1379.68087arXiv1403.0461MaRDI QIDQ4593013

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

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.0461

zbMATH Keywords

parallelisminterleavingtimed concurrent constraint programmingsoft concurrent constraint programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Observational and behavioural equivalences for soft concurrent constraint programming ⋮ Semiring-Based Soft Constraints ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• LUSTRE
• KLAIM
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Timed default concurrent constraint programming
• Coordination models and languages. 10th international conference, COORDINATION 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Formal and natural computing. Essays dedicated to Grzegorz Rozenberg
• A timed concurrent constraint language.
• Semirings for constraint solving and programming.
• Temporary and Permanent Buyout Prices in Online Auctions
• Semiring-based constraint satisfaction and optimization
• Logic Programming
• Soft concurrent constraint programming