On validity in modelization of musical problems by CCP

DOI10.1007/S00500-004-0390-7zbMath1063.68694OpenAlexW2127908756MaRDI QIDQ1769676

Xianqiang Yang

Publication date: 4 April 2005

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-004-0390-7

zbMATH Keywords

temporal concurrent constraint programming

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (7)

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios ⋮ Counting and Computing Join-Endomorphisms in Lattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reasoning about distributed information with infinitely many agents ⋮ Timing in music and modal temporal logic ⋮ Models and emerging trends of concurrent constraint programming

This page was built for publication: On validity in modelization of musical problems by CCP