{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:05:06Z","timestamp":1729670706134,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iv.2002.1028843","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:14:31Z","timestamp":1056564871000},"page":"644-649","source":"Crossref","is-referenced-by-count":0,"title":["On the notion of compliance in critiquing intelligent design assistants: representing duty and contrary-to-duty statements"],"prefix":"10.1109","author":[{"given":"M.F.","family":"Ursu","sequence":"first","affiliation":[]},{"given":"R.","family":"Zimmer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_11"},{"journal-title":"Prolog - Programming for Artificial Intelligence","year":"2000","author":"bratko","key":"ref32"},{"key":"ref31","article-title":"Foundations of Computing","author":"scheurer","year":"1994","journal-title":"System Development with Set Theory and Logic"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5643-5_9"},{"journal-title":"Engineering Design A Systematic Approach","year":"1996","author":"pahl","key":"ref34"},{"key":"ref10","article-title":"Compliance in Critiquing Intelligent Design Assistants: Isomorphic Representation of General Norms and Exceptions","author":"ursu","year":"2002","journal-title":"Submitted to the Sixth International Conference on Knowledge-Based Intelligent Information and Engineering Systems Crema Italy"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370671"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8851-5_10"},{"journal-title":"The Principles of Design","year":"1990","author":"suh","key":"ref13"},{"journal-title":"Manual to the Building Regulations","year":"1999","key":"ref14"},{"journal-title":"The 1991 Building Regulations","article-title":"Approved Document B - Fire Safety","year":"1992","key":"ref15"},{"journal-title":"The 1991 Building Regulations","article-title":"Approved Document M - Access Facilities for Disabled People","year":"1992","key":"ref16"},{"journal-title":"Multinational Preferred","article-title":"Design Handbook","year":"1984","key":"ref17"},{"journal-title":"Multinational Producibility","article-title":"Metric Design - Metal Parts Formed From Flat Stock","year":"1982","key":"ref18"},{"journal-title":"Multinational Producibility","article-title":"Plastic Molded Parts","year":"1987","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"ref4","article-title":"Eliciting and modelling the design knowledge of multiple experts","author":"hammond","year":"1995","journal-title":"Proceedings of Modelling languages for KBS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_4"},{"key":"ref3","article-title":"Computer Aided Engineering Problems and Prospects","author":"rehak","year":"1981","journal-title":"Technical Report SRS8 - Civil Engineering Standards"},{"key":"ref6","first-page":"104","article-title":"Towards the Standardisation of Intelligent Design Assistants","author":"ursu","year":"1998","journal-title":"Proc 13th Eur Conf Artificial Intelligence"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"ref5","first-page":"393","article-title":"Representing Expressed Design Knowledge","author":"ursu","year":"1998","journal-title":"Proceedings of the 1998 Association for Information Systems Americas Conference"},{"key":"ref8","first-page":"103","article-title":"Expressing Regulatory Design Knoweldge for Critiquing Intelligent Design Assistants - Spatial Representations","author":"ursu","year":"2000","journal-title":"Artificial Intelligence in Design '2000"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0887-3801(1998)12:3(129)"},{"key":"ref2","article-title":"Design Critiquing Systems","author":"robbins","year":"1998","journal-title":"Technical Report UCI-98-41"},{"key":"ref9","first-page":"64","article-title":"The RaPiD Computer Aided Design of Dental Prostheses","author":"hammond","year":"1996","journal-title":"Proc AAAI Spring Symp Series AI in Medicine"},{"key":"ref1","first-page":"13","article-title":"Computer Representations of Design Standards and Building Codes: US Perspective","volume":"3","author":"fenves","year":"1995","journal-title":"Inte J Construction Inform Technol"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1111\/j.1365-2842.1996.tb00839.x"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0279-4_28"},{"key":"ref21","article-title":"Kitchen Planning-Satndards","volume":"12","year":"1994","journal-title":"Council Notes - Circular Series Index No C5 32"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/112646.112653","article-title":"Exploiting Isomorphism: Development of a KBS to Support British Coal Insurance Claims","author":"bench-capon","year":"1991","journal-title":"Proceedings of The Third International Conference on Artificial Intelligence and Law"},{"key":"ref23","first-page":"176","article-title":"CRACK: A Critiquing Approach to Cooperative Kitchen Design","author":"fischer","year":"1988","journal-title":"Proceedings of ITS-88 Montreal"},{"journal-title":"Principle of Database and Knowledge-Base Systems","year":"1988","author":"ullman","key":"ref26"},{"key":"ref25","first-page":"17","article-title":"Isomorphic Models for Rules and Exceptions in Legislation","author":"prakken","year":"1991","journal-title":"Legal Knowledge Based Systems Model Based Legal Reasoning (Proceedings of JURIX'91)"}],"event":{"name":"Sixth International Conference on Information Visualisation","acronym":"IV-02","location":"London, UK"},"container-title":["Proceedings Sixth International Conference on Information Visualisation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7989\/22105\/01028843.pdf?arnumber=1028843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T02:40:27Z","timestamp":1623120027000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1028843\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/iv.2002.1028843","relation":{},"subject":[]}}