{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T17:10:02Z","timestamp":1746378602663,"version":"3.40.4"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_50","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"665-673","source":"Crossref","is-referenced-by-count":1,"title":["Constraint-Based Algorithm for Computing Temporal Invariants"],"prefix":"10.1007","author":[{"given":"Jussi","family":"Rintanen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"50_CR1","unstructured":"Bernardini, S., Smith, D.E.: Automatic synthesis of temporal invariants. In: Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18. AAAI Press (2011)"},{"issue":"4","key":"50_CR2","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"J.R. Burch","year":"1994","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E., MacMillan, K.L., Dill, D.L.: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a013(4), 401\u2013424 (1994)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"50_CR3","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/10720246_11","volume-title":"Recent Advances in AI Planning","author":"S. Edelkamp","year":"2000","unstructured":"Edelkamp, S., Helmert, M.: Exhibiting knowledge in planning problems to minimize state encoding length. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS (LNAI), vol.\u00a01809, pp. 135\u2013147. Springer, Heidelberg (2000)"},{"key":"50_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research\u00a020, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"50_CR5","unstructured":"Gerevini, A., Schubert, L.: Inferring state constraints for domain-independent planning. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998) and the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI 1998), pp. 905\u2013912. AAAI Press (1998)"},{"key":"50_CR6","unstructured":"Gerevini, A., Schubert, L.K.: Discovering state constraints in DISCOPLAN: Some new results. In: Proceedings of the 17th National Conference on Artificial Intelligence (AAAI 2000) and the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI 2000), pp. 761\u2013767. AAAI Press (2000)"},{"key":"50_CR7","unstructured":"Haslum, P., Geffner, H.: Admissible heuristics for optimal planning. In: Chien, S., Kambhampati, S., Knoblock, C.A. (eds.) Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, pp. 140\u2013149. AAAI Press (2000)"},{"key":"50_CR8","unstructured":"Haslum, P., Geffner, H.: Heuristic planning with time and resources. In: Cesta, A. (ed.) Recent Advances in AI Planning, Sixth European Conference on Planning (ECP 2014), pp. 107\u2013112. AAAI Press (2014)"},{"key":"50_CR9","unstructured":"Kautz, H., Selman, B.: Pushing the envelope: planning, propositional logic, and stochastic search. In: Proceedings of the 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference, pp. 1194\u20131201. AAAI Press (1996)"},{"key":"50_CR10","unstructured":"Rintanen, J.: A planning algorithm not based on directional search. In: Cohn, A.G., Schubert, L.K., Shapiro, S.C. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR 1998), pp. 617\u2013624. Morgan Kaufmann (1998)"},{"key":"50_CR11","unstructured":"Rintanen, J.: An iterative algorithm for synthesizing invariants. In: Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2000) and the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000), pp. 806\u2013811. AAAI Press (2000)"},{"key":"50_CR12","doi-asserted-by":"crossref","unstructured":"Rintanen, J.: Regression for classical and nondeterministic planning. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N. (eds.) ECAI 2008: Proceedings of the 18th European Conference on Artificial Intelligence, pp. 568\u2013571. IOS Press (2008)","DOI":"10.3233\/978-1-58603-891-5-568"},{"key":"50_CR13","unstructured":"Smith, D.E., Weld, D.S.: Temporal planning with mutual exclusion reasoning. In: Dean, T. (ed.) Proceedings of the 16th International Joint Conference on Artificial Intelligence, pp. 326\u2013337. Morgan Kaufmann Publishers (1999)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:54:58Z","timestamp":1746377698000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}