{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T04:55:54Z","timestamp":1725684954948},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298219"},{"type":"electronic","value":"9783642298226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29822-6_20","type":"book-chapter","created":{"date-parts":[[2012,5,20]],"date-time":"2012-05-20T13:21:09Z","timestamp":1337520069000},"page":"243-259","source":"Crossref","is-referenced-by-count":3,"title":["Coinductive Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Neda","family":"Saeedloei","sequence":"first","affiliation":[]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Vicious circles: on the mathematics of non-wellfounded phenomena","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., Moss, L.: Vicious circles: on the mathematics of non-wellfounded phenomena. CSLI, Stanford (1996)"},{"key":"20_CR2","first-page":"231","volume-title":"Logic Programming","author":"A. Colmerauer","year":"1982","unstructured":"Colmerauer, A.: Prolog and infinite trees. In: Clark, K.L., T\u00e4rnlund, S.-A. (eds.) Logic Programming, pp. 231\u2013251. Academic Press, London (1982)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-22944-2_4","volume-title":"Algebra and Coalgebra in Computer Science","author":"G. Gupta","year":"2011","unstructured":"Gupta, G., Saeedloei, N., DeVries, B., Min, R., Marple, K., Klu\u017aniak, F.: Infinite Computation, Co-induction and Computational Logic. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 40\u201354. Springer, Heidelberg (2011)"},{"key":"20_CR4","unstructured":"Gupta, R.: Programming models and methods for spatiotemporal actions and reasoning in cyber-physical systems. In: NSF Workshop on CPS (2006)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.L., Lynch, N.A.: The generalized railroad crossing: A case study in formal verification of real-time systems. In: IEEE RTSS, pp. 120\u2013131 (1994)","DOI":"10.1109\/REAL.1994.342724"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-60472-3_14","volume-title":"Hybrid Systems II","author":"T.A. Henzinger","year":"1995","unstructured":"Henzinger, T.A., Ho, P.-H.: Hytech: The Cornell Hybrid Technology Tool. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol.\u00a0999, pp. 265\u2013293. Springer, Heidelberg (1995)"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. J. Log. Program.\u00a019\/20, 503\u2013581 (1994)","journal-title":"J. Log. Program."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber-physical systems: Design challenges. In: ISORC (May 2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of logic programming, 2nd extended edn. Springer, Berlin (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"20_CR10","unstructured":"Saeedloei, N.: Modeling and Verification of Real-Time and Cyber-Physical Systems. PhD thesis, University of Texas at Dallas, Richardson, Texas (2011)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/978-3-642-13089-2_45","volume-title":"Language and Automata Theory and Applications","author":"N. Saeedloei","year":"2010","unstructured":"Saeedloei, N., Gupta, G.: Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). In: Dediu, A.-H., Fernau, H., Mart\u00edn-Vide, C. (eds.) LATA 2010. LNCS, vol.\u00a06031, pp. 536\u2013548. Springer, Heidelberg (2010)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/2000367.2000374","volume":"8","author":"N. Saeedloei","year":"2011","unstructured":"Saeedloei, N., Gupta, G.: A logic-based modeling and verification of CPS. SIGBED Rev.\u00a08, 31\u201334 (2011)","journal-title":"SIGBED Rev."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Simon, L.: Coinductive Logic Programming. PhD thesis, University of Texas at Dallas, Richardson, Texas (2006)","DOI":"10.1007\/11799573_25"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-540-73420-8_42","volume-title":"Automata, Languages and Programming","author":"L. Simon","year":"2007","unstructured":"Simon, L., Bansal, A., Mallya, A., Gupta, G.: Co-Logic Programming: Extending Logic Programming with Coinduction. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 472\u2013483. Springer, Heidelberg (2007)"},{"key":"20_CR15","volume-title":"The art of Prolog: advanced programming techniques","author":"L. Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The art of Prolog: advanced programming techniques, 2nd edn. MIT Press, Cambridge (1994)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29822-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:17:29Z","timestamp":1620127049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29822-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298219","9783642298226"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29822-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}