On validity in modelization of musical problems by CCP

DOI10.1007/S00500-004-0390-7MaRDI QIDQ1769676zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1809625
• scientific article; zbMATH DE number 2084713
• scientific article; zbMATH DE number 2087501
• A symbolic model for timed concurrent constraint programming
• Lectures on Concurrency and Petri Nets

Cited in

(12)

• Structured interactive musical scores
• Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
• Counting and Computing Join-Endomorphisms in Lattices
• scientific article; zbMATH DE number 7649937 (Why is no real title available?)
• Constraint programming systems for modeling music theories and composition
• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• Timing in music and modal temporal logic
• On the Resolution Probability of MUSIC in Presence of Modeling Errors
• Reasoning about distributed information with infinitely many agents
• Labeled calculi applied to verification and analysis of time-concerned programs. I
• Models and emerging trends of concurrent constraint programming
• scientific article; zbMATH DE number 7449993 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1769676)