Research in music and artificial intelligence
ACM Computing Surveys (CSUR)
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Musical Harmonization with Constraints: A Survey
Constraints
Consistency and completeness of Omega, a logic for knowledge representation
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Uniform: a language based upon unification which unifies (much of) LISP, Prolog, and Act 1
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |