{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:02:15Z","timestamp":1729648935225,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/acc.2007.4282481","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T16:01:54Z","timestamp":1186588914000},"page":"236-241","source":"Crossref","is-referenced-by-count":0,"title":["A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems"],"prefix":"10.1109","author":[{"given":"Rajesh","family":"Kumar","sequence":"first","affiliation":[]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"journal-title":"An Ontology-based Knowledge Management Framework for Heterogeneous Verification","year":"2007","author":"kumar","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657445"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_24"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/176454.176522"},{"key":"ref16","article-title":"Enumerable sets are diophantine","volume":"11","author":"matiyasevich","year":"1970","journal-title":"English Translation in Soviet Mathematics Doklady"},{"key":"ref17","article-title":"A methodology for the design and verification of globally asynchronous\/locally synchronous architectures","author":"miller","year":"2005","journal-title":"Technical Report 213912 NASA"},{"key":"ref18","first-page":"17","article-title":"The knowledge model of Protege-2000: Combining interoperability and flexibility","author":"noy","year":"2000","journal-title":"EKAW '00 Proceedings of the 12th European Workshop on Knowledge Ac-quisition Modeling and Management"},{"journal-title":"Globally asynchronous locally synchronous systems","year":"1984","author":"chapiro","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90126-6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61551-2_104"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"ref8","article-title":"Courteous logic programs: Prioritized conflict handling for rules","author":"grosof","year":"1997","journal-title":"IBM Research Report RC"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"731","DOI":"10.7551\/mitpress\/4298.003.0070","article-title":"Preference logic programming","author":"govindarajan","year":"1995","journal-title":"International Conference on Logic Programming"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"ref1","article-title":"Sceptical logic programming based default reasoning-Defeasible logic rehabilitated","author":"antoniou","year":"1998","journal-title":"Formalization of Commonsense Reasoning"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"}],"event":{"name":"2007 American Control Conference","start":{"date-parts":[[2007,7,9]]},"location":"New York, NY, USA","end":{"date-parts":[[2007,7,13]]}},"container-title":["2007 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4282134\/4282135\/04282481.pdf?arnumber=4282481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T09:02:15Z","timestamp":1708160535000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4282481\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/acc.2007.4282481","relation":{},"ISSN":["0743-1619"],"issn-type":[{"type":"print","value":"0743-1619"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}