{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:58:31Z","timestamp":1729616311998,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/mark.2011.6046556","type":"proceedings-article","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T11:33:48Z","timestamp":1318937628000},"page":"12-16","source":"Crossref","is-referenced-by-count":3,"title":["Using courteous logic based representations for requirements specification"],"prefix":"10.1109","author":[{"given":"Richa","family":"Sharma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.K.","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1985.1662870"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/34.2.143"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72586-2_160"},{"key":"ref6","first-page":"87","article-title":"Defeasible Logic","author":"nute","year":"2001","journal-title":"Proc International Conference on Applications of Prolog (1NAP 2001)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.elerap.2003.09.005"},{"key":"ref7","article-title":"Courteous Logic Programs: prioritized conflict handling for rules","author":"grosof","year":"1997","journal-title":"IBM Research Report RC20836 IBM Research Division"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1049\/sej.1991.0017","article-title":"HCLIE: a logic-based requirement language for new software engineering paradigms","volume":"6","author":"jeffrey","year":"1991","journal-title":"Software Engineering"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(86)90020-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCL.1988.13094"}],"event":{"name":"2011 4th International Workshop on Managing Requirements Knowledge (MARK)","start":{"date-parts":[[2011,8,30]]},"location":"Trento, Italy","end":{"date-parts":[[2011,8,30]]}},"container-title":["2011 4th International Workshop on Managing Requirements Knowledge"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6036077\/6046549\/06046556.pdf?arnumber=6046556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T04:12:34Z","timestamp":1497931954000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6046556\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/mark.2011.6046556","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}