{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:24:45Z","timestamp":1740097485353,"version":"3.37.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319468396"},{"type":"electronic","value":"9783319468402"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46840-2_3","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T14:45:41Z","timestamp":1474641941000},"page":"34-49","source":"Crossref","is-referenced-by-count":1,"title":["Can I Do That? Discovering Domain Axioms Using Declarative Programming and Relational Reinforcement Learning"],"prefix":"10.1007","author":[{"given":"Mohan","family":"Sridharan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prashanth","family":"Devarakonda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rashmica","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"3_CR1","unstructured":"Colaco, Z., Sridharan, M.: What happened and why? A mixed architecture for planning and explanation generation in robotics. In: Australasian Conference on Robotics and Automation (ACRA), 2\u20134 December 2015, Canberra, Australia (2015)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-319-11973-1_41","volume-title":"Social Robotics","author":"S Zhang","year":"2014","unstructured":"Zhang, S., Sridharan, M., Gelfond, M., Wyatt, J.: Towards an architecture for knowledge representation and reasoning in robotics. In: Beetz, M., Johnston, B., Williams, M.-A. (eds.) ICSR 2014. LNCS (LNAI), vol. 8755, pp. 400\u2013410. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-11973-1_41"},{"issue":"3","key":"3_CR3","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1109\/TRO.2015.2422531","volume":"31","author":"S Zhang","year":"2015","unstructured":"Zhang, S., Sridharan, M., Wyatt, J.: 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":"3_CR4","unstructured":"Sridharan, M.: Towards an architecture for knowledge representation, reasoning and learning in human-robot collaboration. In: AAAI Spring Symposium on Enabling Computing Research in Socially Intelligent Human-Robot Interaction, 21\u201323 March 2016, Stanford, USA (2016)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-319-11973-1_33","volume-title":"Social Robotics","author":"M Sridharan","year":"2014","unstructured":"Sridharan, M., Rainge, S.: Integrating reinforcement learning and declarative programming to learn causal laws in dynamic domains. In: Beetz, M., Johnston, B., Williams, M.-A. (eds.) ICSR 2014. LNCS (LNAI), vol. 8755, pp. 320\u2013329. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-11973-1_33"},{"key":"3_CR6","unstructured":"Sridharan, M., Gelfond, M.: Using knowledge representation and reasoning tools in the design of robots. In: IJCAI Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning (KnowProS), 10 July 2016, New York, USA (2016)"},{"issue":"8","key":"3_CR7","doi-asserted-by":"crossref","first-page":"1288","DOI":"10.1177\/0278364914528255","volume":"33","author":"H Bai","year":"2014","unstructured":"Bai, H., Hsu, D., Lee, W.S.: Integrated perception and planning in the continuous space: a POMDP approach. Int. J. Robot. Res. 33(8), 1288\u20131302 (2014)","journal-title":"Int. J. Robot. Res."},{"issue":"5","key":"3_CR8","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/j.cviu.2009.06.008","volume":"114","author":"J Hoey","year":"2010","unstructured":"Hoey, J., Poupart, P., Bertoldi, A., Craig, T., Boutilier, C., Mihailidis, A.: Automated handwashing assistance for persons with dementia using video and a partially observable markov decision process. Comput. Vis. Image Underst. 114(5), 503\u2013519 (2010)","journal-title":"Comput. Vis. Image Underst."},{"issue":"11","key":"3_CR9","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1016\/j.robot.2008.08.007","volume":"56","author":"C Galindo","year":"2008","unstructured":"Galindo, C., Fernandez-Madrigal, J.A., Gonzalez, J., Saffioti, A.: Robot task planning using semantic maps. Robot. Auton. Syst. 56(11), 955\u2013966 (2008)","journal-title":"Robot. Auton. Syst."},{"key":"3_CR10","unstructured":"Varadarajan, K.M., Vincze, M.: Ontological knowledge management framework for grasping and manipulation. In: IROS-2011 Workshop on Knowledge Representation for Autonomous Robots, 25 September 2011 (2011)"},{"key":"3_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning and the Design of Intelligent Agents","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning and the Design of Intelligent Agents. Cambridge University Press, Cambridge (2014)"},{"key":"3_CR12","unstructured":"Balduccini, M., Regli, W.C., Nguyen, D.N.: An ASP-based architecture for autonomous UAVs in dynamic environments: progress report. In: International Workshop on Non-Monotonic Reasoning (NMR), 17\u201319 July 2014, Vienna, Austria (2014)"},{"issue":"2","key":"3_CR13","first-page":"100","volume":"1","author":"X Chen","year":"2012","unstructured":"Chen, X., Xie, J., Ji, J., Sui, Z.: Toward open knowledge enabling for human-robot interaction. J. Hum. Robot Interact. 1(2), 100\u2013117 (2012)","journal-title":"J. Hum. Robot Interact."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-30743-0_16","volume-title":"Correct Reasoning","author":"E Erdem","year":"2012","unstructured":"Erdem, E., Patoglu, V.: Applications of action languages in cognitive robotics. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol. 7265, pp. 229\u2013246. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-30743-0_16"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Laird, J.E.: Extending the soar cognitive architecture. In: International Conference on Artificial General Intelligence, 1\u20133 March 2008, Memphis, USA (2008)","DOI":"10.21236\/ADA473738"},{"issue":"2","key":"3_CR16","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/1869397.1869403","volume":"1","author":"K Talamadupula","year":"2010","unstructured":"Talamadupula, K., Benton, J., Kambhampati, S., Schermerhorn, P., Scheutz, M.: Planning for human-robot teaming in open worlds. ACM Trans. Intell. Syst. Technol. 1(2), 14:1\u201314:24 (2010)","journal-title":"ACM Trans. Intell. Syst. Technol."},{"issue":"9\u201310","key":"3_CR17","doi-asserted-by":"crossref","first-page":"1194","DOI":"10.1177\/0278364913484072","volume":"32","author":"L Kaelbling","year":"2013","unstructured":"Kaelbling, L., Lozano-Perez, T.: Integrated task and motion planning in belief space. Int. J. Robot. Res. 32(9\u201310), 1194\u20131227 (2013)","journal-title":"Int. J. Robot. Res."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Saribatur, Z., Erdem, E., Patoglu, V.: Cognitive factories with multiple teams of heterogeneous robots: hybrid reasoning for optimal feasible global plans. In: International Conference on Intelligent Robots and Systems, Chicago, USA, pp. 2923\u20132930 (2014)","DOI":"10.1109\/IROS.2014.6942965"},{"key":"3_CR19","unstructured":"Hanheide, M., Gretton, C., Dearden, R., Hawes, N., Wyatt, J., Pronobis, A., Aydemir, A., Gobelbecker, M., Zender, H.: Exploiting probabilistic knowledge under uncertain sensing for efficient robot behaviour. In: International Joint Conference on Artificial Intelligence (IJCAI), 16\u201322 July 2011, Barcelona, Spain (2011)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Hanheide, M., Gobelbecker, M., Horn, G., Pronobis, A., Sjoo, K., Jensfelt, P., Gretton, C., Dearden, R., Janicek, M., Zender, H., Kruijff, G.J., Hawes, N., Wyatt, J.: Robot task planning and explanation in open and uncertain worlds. Artificial Intelligence (2015). http:\/\/dx.doi.org\/10.1016\/j.artint.2015.08.008","DOI":"10.1016\/j.artint.2015.08.008"},{"issue":"1\u20132","key":"3_CR21","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Mach. Learn. 62(1\u20132), 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"3_CR22","volume-title":"Statistical Relational Learning","author":"B Milch","year":"2006","unstructured":"Milch, B., Marthi, B., Russell, S., Sontag, D., Ong, D.L., Kolobov, A.: BLOG: probabilistic models with unknown objects. In: Getoor, L., Taskar, B. (eds.) Statistical Relational Learning. MIT Press, Cambridge (2006)"},{"key":"3_CR23","volume-title":"Reasoning about Uncertainty","author":"JY Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning about Uncertainty. MIT Press, Cambridge (2003)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Sanner, S., Kersting, K.: Symbolic dynamic programming for first-order POMDPs. In: AAAI Conference on Artificial Intelligence, 11\u201315 July 2010, Atlanta, USA, pp. 1140\u20131146 (2010)","DOI":"10.1609\/aaai.v24i1.7747"},{"issue":"1","key":"3_CR25","doi-asserted-by":"crossref","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. Logic Program. 9(1), 57\u2013144 (2009)","journal-title":"Theory Pract. Logic Program."},{"key":"3_CR26","unstructured":"Lee, J., Wang, Y.: A probabilistic extension of the stable model semantics. In: AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, March 2015)"},{"key":"3_CR27","volume-title":"Reinforcement Learning: An Introduction","author":"RL Sutton","year":"1998","unstructured":"Sutton, R.L., Barto, A.G.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (1998)"},{"key":"3_CR28","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1007694015589","volume":"43","author":"S Dzeroski","year":"2001","unstructured":"Dzeroski, S., Raedt, L.D., Driessens, K.: Relational reinforcement learning. Mach. Learn. 43, 7\u201352 (2001)","journal-title":"Mach. Learn."},{"key":"3_CR29","unstructured":"Tadepalli, P., Givan, R., Driessens, K.: Relational reinforcement learning: an overview. In: Relational Reinforcement Learning Workshop at the International Conference on Machine Learning (2004)"},{"issue":"1\u20132","key":"3_CR30","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S0004-3702(98)00034-4","volume":"101","author":"H Blockeel","year":"1998","unstructured":"Blockeel, H., Raedt, L.D.: Top-down induction of first-order logical decision trees. Artif. Intell. 101(1\u20132), 285\u2013297 (1998)","journal-title":"Artif. Intell."},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-39917-9_20","volume-title":"Inductive Logic Programming","author":"RP Otero","year":"2003","unstructured":"Otero, R.P.: Induction of the effects of actions by monotonic methods. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol. 2835, pp. 299\u2013310. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-39917-9_20"},{"key":"3_CR32","unstructured":"Sridharan, M., Gelfond, M., Zhang, S., Wyatt, J.: A refinement-based architecture for knowledge representation and reasoning in robotics. Technical report, Unrefereed CoRR abstract, August 2015. http:\/\/arxiv.org\/abs\/1508.03891"},{"key":"3_CR33","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning, pp. 9\u201318 (2003)"}],"container-title":["Lecture Notes in Computer Science","Autonomous Agents and Multiagent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46840-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T07:01:13Z","timestamp":1692514873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46840-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319468396","9783319468402"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46840-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}