{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:07:07Z","timestamp":1729652827422,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/rcis.2013.6577690","type":"proceedings-article","created":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T21:11:29Z","timestamp":1377724289000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Towards constraint-informed information systems"],"prefix":"10.1109","author":[{"given":"Irene","family":"Rodrigues","sequence":"first","affiliation":[]},{"given":"Nuno","family":"Matos","sequence":"additional","affiliation":[]},{"given":"Salvador","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"Rebecca","family":"Deneckere","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Diaz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"2011","article-title":"Transforming attribute and clone-enabled feature models into constraint programs over finite domains","author":"mazo","year":"0","journal-title":"Proc 5th Int Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)"},{"journal-title":"Handbook of Constraint Programming (Foundations of Artificial Intelligence)","year":"2006","author":"rossi","key":"22"},{"journal-title":"Managing the Data Base Environment","year":"1983","author":"martin","key":"17"},{"key":"23","article-title":"Gecode: An open constraint solving library","author":"tack","year":"2008","journal-title":"Workshop on Open-Source Software for Integer and Constraint Programming (OSSICP)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.4018\/jismd.2012040102"},{"journal-title":"Foundations of Constraint Satisfaction Computation in Cognitive Science","year":"1993","author":"edward","key":"24"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"journal-title":"Constraint Satisfaction in Logic Programming","year":"1989","author":"van hentenryck","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242279"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s10951-008-0083-7"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46584-7_21"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62034-6_47"},{"key":"3","first-page":"555","article-title":"Constraint programming: In pursuit of the holy grail","author":"bartak","year":"1999","journal-title":"Proc Week of Doctoral Students (WDS99)"},{"key":"20","first-page":"284","article-title":"Contextual logic programming","author":"monteiro","year":"1989","journal-title":"Proceedings of the Sixth International Conference on Logic Prog Ramming"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/11963578_4"},{"key":"1","first-page":"128","article-title":"Objective: In minimum context. in catuscia palamidessi, editor, logic programming 19th international conference, ICLP 2003","author":"abreu","year":"2003","journal-title":"Proceedings Volume 2916 of Lecture Notes in Computer Science"},{"key":"10","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1023\/A:1009749006768","article-title":"In pursuit of the holy grail","volume":"2","author":"freuder","year":"1997","journal-title":"Constraints"},{"key":"7","first-page":"296","article-title":"A fully abstract model for concurrent constraint programming","author":"de boer","year":"1991","journal-title":"Samson Abramsky and TAPSOFT Vol 1 Volume 493 of Lecture Notes in Computer Science"},{"key":"6","first-page":"69","article-title":"Using clp(fd) to support air traffic flow management","author":"chemla","year":"1995","journal-title":"Proc Of the Third International Conference on the Practical Application of Prolog"},{"journal-title":"Unified Modeling Language User Guide","year":"1999","author":"booch","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026441215081"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.63"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000470"}],"event":{"name":"2013 IEEE Seventh International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2013,5,29]]},"location":"Paris, France","end":{"date-parts":[[2013,5,31]]}},"container-title":["IEEE 7th International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6571722\/6577671\/06577690.pdf?arnumber=6577690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T20:53:17Z","timestamp":1498078397000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6577690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/rcis.2013.6577690","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}