{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:33:06Z","timestamp":1725672786129},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2003.1240290","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"12-21","source":"Crossref","is-referenced-by-count":16,"title":["Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach"],"prefix":"10.1109","author":[{"given":"M.","family":"Sabetzadeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Easterbrook","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Categories of Fuzzy Sets Applications of Non-cantorian Set Theory","year":"1968","author":"goguen","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(74)80017-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000050"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90134-8"},{"journal-title":"Open Graph Transformation Systems","year":"1998","author":"heckel","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1142\/9789812815149_0016"},{"journal-title":"Computational Category Theory","year":"1988","author":"rydeheard","key":"ref16"},{"article-title":"A category-theoretic approach to representation and analysis of inconsistency in graph-based viewpoints","year":"2003","author":"sabetzadeh","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(06)80006-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17162-2_132"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1142\/9789812384720_0003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2001.924571"},{"key":"ref6","first-page":"411","article-title":"A framework for multivalued reasoning over inconsistent viewpoints","author":"easterbrook","year":"2001","journal-title":"Intl Conference on Software Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0004"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"ref1","article-title":"Les Publications CRM Montréal","author":"barr","year":"1999","journal-title":"Category Theory for Computing Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.6.797"}],"event":{"name":"18th IEEE International Conference on Automated Software Engineering","acronym":"ASE-03","location":"Montreal, Que., Canada"},"container-title":["18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8780\/27811\/01240290.pdf?arnumber=1240290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:02:08Z","timestamp":1489453328000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240290\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ase.2003.1240290","relation":{},"subject":[]}}