{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:18:28Z","timestamp":1725459508162},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035645","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:29:25Z","timestamp":1138184965000},"page":"511-524","source":"Crossref","is-referenced-by-count":3,"title":["Cactus: A branching-time logic programming language"],"prefix":"10.1007","author":[{"given":"P.","family":"Rondogiannis","sequence":"first","affiliation":[]},{"given":"M.","family":"Gergatsoulis","sequence":"additional","affiliation":[]},{"given":"T.","family":"Panayiotopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"M. Ben-Ari, A. Pnueli, and Z. Manna. The Temporal Logic of Branching Time. Informatica, pages 207\u2013226, 1983.","DOI":"10.1007\/BF01257083"},{"key":"38_CR2","unstructured":"M. Baudinet. A simple proof of the completeness of temporal logic programming. In L. Farinas del Cerro and M. Penttonen, editors, International Logics for Programming, pages 51\u201383. Oxford University Press, 1993."},{"key":"38_CR3","unstructured":"C. Brzoska. Temporal logic programming and its relation to constraint logic programming. In Proc. of the Logic Programming Symposium, pages 661\u2013677. MIT Press, 1991."},{"key":"38_CR4","unstructured":"C. Brzoska. Temporal logic programming with bounded universal modality goals. In D. S. Warren, editor, Proc. of the Tenth International Conference on Logic Programming, pages 239\u2013256. MIT Press, 1993."},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"W. Du and W.W.Wadge. A 3D Spreadsheet Based on Intensional Logic. IEEE Software, pages 78\u201389, July 1990.","DOI":"10.1109\/52.55232"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"A. A. Faustini E. A. Ashcroft and R. Jagannathan. An Intensional Language for Parallel Applications Programming. In B.K.Szymanski, editor, Parallel Functional Languages and Compilers, pages 11\u201349. ACM Press, 1991.","DOI":"10.1145\/107214.129254"},{"key":"38_CR7","first-page":"197","volume-title":"Temporal Logics and their applications","author":"D. Gabbay","year":"1987","unstructured":"Dov Gabbay. Modal and temporal logic programming. In A. Galton, editor, Temporal Logics and their applications, pages 197\u2013237. Academic Press, London, 1987."},{"key":"38_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D. M. Gabbay","year":"1994","unstructured":"D. M. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Clarendon Press-Oxford, 1994."},{"key":"38_CR9","unstructured":"M. Gergatsoulis, P. Rondogiannis, and T. Panayiotopoulos. Disjunctive Chronolog. In M. Chacravarty, Y. Guo, and T. Ida, editors, Proceedings of the JICSLP'96 Post-Conference Workshop \u201cMulti-Paradigm Logic Programming\u201d, pages 129\u2013136, Bonn, 5\u20136 Sept. 1996."},{"key":"38_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0743-1066(93)90016-A","volume":"15","author":"T. Hrycej","year":"1993","unstructured":"T. Hrycej. A temporal extension of Prolog. The Journal of Logic Programming, 15:113\u2013145, 1993.","journal-title":"The Journal of Logic Programming"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"38_CR12","unstructured":"H. R. Lewis and C. H. Papadimitriou. Elements of the Theory of Computation. Prentice-Hall, Inc., 1981."},{"key":"38_CR13","doi-asserted-by":"crossref","unstructured":"M. A. Orgun and W. Ma. An overview of temporal and modal logic programming. In Proc. of the First International Conference on Temporal Logics (ICTL'94), pages 445\u2013479. Springer Verlag, 1994. LNCS No 827.","DOI":"10.1007\/BFb0014004"},{"volume-title":"PhD thesis","year":"1991","author":"M. A. Orgun","key":"38_CR14","unstructured":"M. A. Orgun. Intensional Logic Programming. PhD thesis, Dept. of Computer Science, University of Victoria, Canada, December 1991."},{"issue":"4","key":"38_CR15","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0743-1066(92)90055-8","volume":"13","author":"M. A. Orgun","year":"1992","unstructured":"M. A. Orgun and W. W. Wadge. Towards a unified theory of intensional logic programming. The Journal of Logic Programming, 13(4):113\u2013145, August 1992.","journal-title":"The Journal of Logic Programming"},{"key":"38_CR16","unstructured":"M. A. Orgun and W. W. Wadge. Chronolog admits a complete proof procedure. In Proc. of the Sixth International Symposium on Lucid and Intensional Programming (ISLIP'93), pages 120\u2013135, 1993."},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"M. A. Orgun, W. W. Wadge, and W. Du. Chronolog(Z): Linear-time logic programming. In O. Abou-Rabia, C. K. Chang, and W. W. Koczkodaj, editors, Proc. of the fifth International Conference on Computing and Information, pages 545\u2013549. IEEE Computer Society Press, 1993.","DOI":"10.1109\/ICCI.1993.315313"},{"key":"38_CR18","unstructured":"T. Panayiotopoulos and M. Gergatsoulis. Intelligent information processing using TRLi. In 6th International Conference and Workshop on Data Base and Expert Systems Applications (DEXA' 95), (Workshop Proceedings) London, UK, 4th\u20138th September, pages 494\u2013501, 1995."},{"key":"38_CR19","doi-asserted-by":"crossref","unstructured":"P. Rondogiannis, M. Gergatsoulis, and T. Panayiotopoulos. Theoretical foundations of Branching-Time Logic Programming. 1997. In preparation.","DOI":"10.1007\/BFb0035645"},{"volume-title":"PhD thesis","year":"1994","author":"P. Rondogiannis","key":"38_CR20","unstructured":"P. Rondogiannis. Higher-Order Functional Languages and Intensional Logic. PhD thesis, Dept. of Computer Science, University of Victoria, Canada, December 1994."},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"P. Rondogiannis and W. W. Wadge. First-order functional languages and intensional logic. Journal of Functional Programming, 1997. (to appear).","DOI":"10.1017\/S0956796897002633"},{"volume-title":"PhD thesis","year":"1994","author":"S. Tao","key":"38_CR22","unstructured":"S. Tao. Indexical Attribute Grammars. PhD thesis, Dept. of Computer Science, University of Victoria, Canada, 1994."},{"key":"38_CR23","unstructured":"W. W. Wadge and E. A. Ashcroft. Lucid, the dataflow Programming Language. Academic Press, 1985."},{"key":"38_CR24","unstructured":"W. W. Wadge. Tense logic programming: A respectable alternative. In Proc. of the 1988 International Symposium on Lucid and Intensional Programming, pages 26\u201332, 1988."},{"volume-title":"PhD thesis","year":"1984","author":"A. Yaghi","key":"38_CR25","unstructured":"A. Yaghi. The Intensional Implementation Technique for Functional Languages. PhD thesis, Dept. of Computer Science, University of Warwick, Coventry, UK, 1984."}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T05:15:58Z","timestamp":1586668558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0035645","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}