{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:40:31Z","timestamp":1742992831259,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319920573"},{"type":"electronic","value":"9783319920580"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92058-0_1","type":"book-chapter","created":{"date-parts":[[2018,5,29]],"date-time":"2018-05-29T16:59:16Z","timestamp":1527613156000},"page":"3-15","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Method for the Online Construction of the Set of States of a Markov Decision Process Using Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Leonardo Anjoletto","family":"Ferreira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinaldo A. C.","family":"Bianchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo E.","family":"Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon Lopez","family":"de Mantaras","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,30]]},"reference":[{"issue":"12","key":"1_CR1","doi-asserted-by":"publisher","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J McCarthy","year":"1987","unstructured":"McCarthy, J.: Generality in artificial intelligence. Commun. ACM 30(12), 1030\u20131035 (1987)","journal-title":"Commun. ACM"},{"key":"1_CR2","unstructured":"McCarthy, J.: Elaboration tolerance. In: Proceedings of the Fourth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 98), vol. 98, London, UK (1998)"},{"key":"1_CR3","volume-title":"Reinforcement Learning: An Introduction","author":"RS Sutton","year":"2015","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction, 2nd edn. MIT Press, Cambridge (2015)","edition":"2"},{"key":"1_CR4","unstructured":"Garnelo, M., Arulkumaran, K., Shanahan, M.: Towards deep symbolic reinforcement learning. arXiv preprint arXiv:1609.05518 [cs], September 2016"},{"key":"1_CR5","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of International Logic Programming Conference and Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138(1), 39\u201354 (2002)","journal-title":"Artif. Intell."},{"issue":"4","key":"1_CR7","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1512\/iumj.1957.6.56038","volume":"6","author":"R Bellman","year":"1957","unstructured":"Bellman, R.: A Markovian decision process. Indiana Univ. Math. J. 6(4), 679\u2013684 (1957)","journal-title":"Indiana Univ. Math. J."},{"key":"1_CR8","volume-title":"Applied Dynamic Programming","author":"RE Bellman","year":"1971","unstructured":"Bellman, R.E., Dreyfus, S.E.: Applied Dynamic Programming, 4th edn. Princeton University Press, Princeton (1971)","edition":"4"},{"key":"1_CR9","unstructured":"Watkins, C.J.C.H.: Learning from delayed rewards. Ph.D. thesis, University of Cambridge, England (1989)"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1109\/TRO.2015.2422531","volume":"31","author":"S Zhang","year":"2015","unstructured":"Zhang, S., Sridharan, M., Wyatt, J.L.: Mixed logical inference and probabilistic planning for robots in unreliable worlds. IEEE Trans. Robot. 31(3), 699\u2013713 (2015)","journal-title":"IEEE Trans. Robot."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Yang, F., Khandelwal, P., Leonetti, M., Stone, P.: Planning in answer set programming while learning action costs for mobile robots. In: AAAI Spring 2014 Symposium on Knowledge Representation and Reasoning in Robotics (AAAI-SSS) (2014)","DOI":"10.1609\/icaps.v24i1.13671"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 285\u2013316. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03007-6"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.artint.2016.07.004","volume":"241","author":"M Leonetti","year":"2016","unstructured":"Leonetti, M., Iocchi, L., Stone, P.: A synthesis of automated planning and reinforcement learning for efficient, robust decision-making. Artif. Intell. 241, 103\u2013130 (2016)","journal-title":"Artif. Intell."},{"key":"1_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01561-8","volume-title":"Answer Set Solving in Practice","author":"M Gebser","year":"2013","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan & Claypool Publishers, San Rafael (2013)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Khandelwal, P., Yang, F., Leonetti, M., Lifschitz, V., Stone, P.: Planning in action language BC while learning action costs for mobile robots. In: Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, 21\u201326 June 2014, Portsmouth, New Hampshire, USA (2014)","DOI":"10.1609\/icaps.v24i1.13671"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1471068408003645","volume":"9","author":"C Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory Pract. Log. Program. 9(1), 57 (2009)","journal-title":"Theory Pract. Log. Program."},{"key":"1_CR17","unstructured":"Gelfond, M., Rushton, N.: Causal and probabilistic reasoning in P-log. In: Heuristics, Probabilities and Causality. A Tribute to Judea Pearl, pp. 337\u2013359 (2010)"},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1287\/moor.1090.0396","volume":"34","author":"E Even-Dar","year":"2009","unstructured":"Even-Dar, E., Kakade, S.M., Mansour, Y.: Online Markov decision processes. Math. Oper. Res. 34(3), 726\u2013736 (2009)","journal-title":"Math. Oper. Res."},{"issue":"3","key":"1_CR19","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1287\/moor.1090.0397","volume":"34","author":"JY Yu","year":"2009","unstructured":"Yu, J.Y., Mannor, S., Shimkin, N.: Markov decision processes with arbitrary reward processes. Math. Oper. Res. 34(3), 737\u2013757 (2009)","journal-title":"Math. Oper. Res."}],"container-title":["Lecture Notes in Computer Science","Recent Trends and Future Technology in Applied Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92058-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T21:42:31Z","timestamp":1693690951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92058-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319920573","9783319920580"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92058-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}