{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:23:46Z","timestamp":1729653826218,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/isic.2003.1254746","type":"proceedings-article","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T16:35:01Z","timestamp":1303922101000},"page":"843-847","source":"Crossref","is-referenced-by-count":1,"title":["Temporal reasoning on the basis of new logic for intelligent control"],"prefix":"10.1109","author":[{"given":"S.N.","family":"Vassilyev","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1996.561327"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref12","article-title":"Temporal Logics for Real-Time Systems","volume":"2","author":"gabbay","year":"1991","journal-title":"Proc IMACS-IFAC Symp Modelling Control Technological Systems"},{"journal-title":"Algorithms of Synthesis of Theorems of Vector Lyapunov Functions Method","year":"1981","author":"matrosov","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(90)90042-4"},{"key":"ref4","first-page":"313","article-title":"A Real-Time Knowledge-Based System for Plowing Support","author":"rarnamonjison","year":"1995","journal-title":"Proceedings of the 11-th Conf on Al for Applications"},{"key":"ref3","first-page":"351","article-title":"Towards a Computational Treatment of Time","author":"gabbay","year":"1995","journal-title":"Handbook of Logic in AI and Logic Programming"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1451","DOI":"10.1109\/ICSMC.1998.728088","article-title":"The Method of Synthesis of the Derivability Conditions for the Horn Formulas and Some Other Formulas","author":"vassilyev","year":"1998","journal-title":"Proceedings of the 1998 IEEE Trans Syst Man Cybern"},{"key":"ref5","first-page":"111","article-title":"Logical Approach to Intelligent ControI","volume":"2","author":"vassilyev","year":"1993","journal-title":"Proceeding of CESA'98"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.728086"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"ref2","first-page":"3","article-title":"Intelligent Control: an Overview and Evaluation","author":"astr\u00f6m","year":"1992","journal-title":"Handbook on Intelfigent Control"},{"key":"ref1","first-page":"804","article-title":"Toward Intelligent Machines","author":"sinha","year":"1996","journal-title":"Intelligent Control Systems Theory and Applications"},{"key":"ref9","article-title":"Real-Time Knowledge-Based Systems","volume":"9","author":"laffey","year":"1988","journal-title":"AI Maearine"}],"event":{"name":"Proceedings of the 2003 IEEE International Symposium on Intelligent Control","start":{"date-parts":[[2003,10,8]]},"location":"Houston, TX, USA","end":{"date-parts":[[2003,10,8]]}},"container-title":["Proceedings of the 2003 IEEE International Symposium on Intelligent Control ISIC-03"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8881\/28053\/01254746.pdf?arnumber=1254746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T19:27:21Z","timestamp":1497900441000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1254746\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/isic.2003.1254746","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}