{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T09:07:30Z","timestamp":1748336850597},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2021,8,6]],"date-time":"2021-08-06T00:00:00Z","timestamp":1628208000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,8,6]],"date-time":"2021-08-06T00:00:00Z","timestamp":1628208000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11787-021-00281-6","type":"journal-article","created":{"date-parts":[[2021,8,6]],"date-time":"2021-08-06T14:02:36Z","timestamp":1628258556000},"page":"27-55","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Formalism to Specify Unambiguous Instructions Inspired by M\u012bm\u0101\u1e41s\u0101\u00a0 in Computational Settings"],"prefix":"10.1007","volume":"16","author":[{"given":"Bama","family":"Srinivasan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranjani","family":"Parthasarathi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,8,6]]},"reference":[{"key":"281_CR1","unstructured":"Sri Chandrasekharendra Saraswati, P.: The Vedas, Bhavan\u2019s Book University, Mumbai-400 025, India (2009)"},{"key":"281_CR2","unstructured":"Pandurangi, K.T.: Purvamimamsa from an interdisciplinary point of view. In: History of Science, Philosophy and Culture in Indian Civilization, Volume II Part 6, Motilal Banarsidass, Delhi, India (2006)"},{"key":"281_CR3","doi-asserted-by":"crossref","unstructured":"Di Eugenio, B., White, M.: Goals and Actions in Natural Language Instructions. Technical Report MS-CIS-92-07. University of Pennsylvania (1992)","DOI":"10.3115\/992424.992451"},{"key":"281_CR4","doi-asserted-by":"crossref","unstructured":"Dzifcak, M., Scheutz, B.C., Schermerhor, P.: What to do and how to do it: translating natural language directives into temporal and dynamic logic representation for goal management and action execution. In: IEEE International Conference on Robotics and Automation, pp. 4163-4168 (2009)","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"281_CR5","first-page":"45","volume":"21","author":"B Srinivasan","year":"2012","unstructured":"Srinivasan, B., Parthasarathi, R.: A formalism for action representation inspired by M\u012bm\u0101$$\\dot{\\text{ m }}$$s\u0101. J. Intell. Syst. 21, 45\u201377 (2012)","journal-title":"J. Intell. Syst."},{"key":"281_CR6","unstructured":"Gajendragadkar, A.B., Karmarkar, R.D.: The Arthasa$$\\dot{\\text{ m }}$$graha of Laug\u0101k\u1e63i Bh\u0101skara Motilal Banarsidass Publishers Private Limited, Delhi (1934)"},{"key":"281_CR7","unstructured":"Basu, M.B.D.: The Mimamsa sutras of Jaimini. In: The Sacred Books of the Hindus, Volume XXVII: Part I. Dr. Sudhindre Nath Basu M.B, The Panini Office, Bhuvaneswari Asrama, Bahadurganj, Allahabad (1923)"},{"key":"281_CR8","unstructured":"Sw\u0101mi M\u0101dhav\u0101nandha M\u012bm\u0101$$\\dot{\\text{ m }}$$s\u0101 Paribh\u0101\u1e63\u0101 of K\u1e5b\u1e63\u1e47a Yajvan, Advaita Ashrama, Kolkatta (1987)"},{"issue":"5\u20136","key":"281_CR9","first-page":"429","volume":"28","author":"M Lawrence","year":"2000","unstructured":"Lawrence, M.: The hierarchical organization of language in M\u012bm\u0101$$\\dot{\\text{ m }}$$s\u0101 interpretive theory. J. Indian Philos. 28(5\u20136), 429\u2013459 (2000)","journal-title":"J. Indian Philos."},{"key":"281_CR10","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1111\/j.1468-0068.2008.00684.x","volume":"42","author":"P Vranas","year":"2008","unstructured":"Vranas, P.: New foundation for imperative logic I: logical connectives, consistency and quantifiers. Nous 42, 529\u2013572 (2008)","journal-title":"Nous"},{"key":"281_CR11","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2009","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education, London (2009)"},{"key":"281_CR12","doi-asserted-by":"crossref","unstructured":"Srinivasan, B., Parthasarathi, R.: Action representation for robots using MIRA. In: Second InternationalConference on Knowledge Engineering and Applications. IEEE, London (2017)","DOI":"10.1109\/ICKEA.2017.8169931"},{"key":"281_CR13","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1093\/analys\/24.5.176","volume":"24","author":"N Rescher","year":"1964","unstructured":"Rescher, N., Robinson, J.: Can one infer commands from commands? Analysis 24, 176\u2013179 (1964)","journal-title":"Analysis"},{"key":"281_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning About Systems","author":"M Huth","year":"2004","unstructured":"Huth, M., Ryan, M.D.: Logic in Computer Science: Modelling and Reasoning About Systems, 2nd edn. Cambridge University Press, Cambridge (2004)","edition":"2"},{"issue":"1","key":"281_CR15","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.jal.2012.12.001","volume":"11","author":"B Srinivasan","year":"2013","unstructured":"Srinivasan, B., Parthasarathi, R.: An intelligent task analysis approach for special education based on MIRA. J. Appl. Log. 11(1), 137\u2013145 (2013)","journal-title":"J. Appl. Log."},{"key":"281_CR16","unstructured":"Srinivasan, B., Parthasarathi, R.: Classification of natural language instructions inspired from M\u012bm\u0101$$\\dot{\\text{ m }}$$s\u0101. Sanskrit and CompSanskrit and Computational Linguistics, Select Papers Presented in the Sanskrit and the IT World section of 16th World Sanskrit Conference, published by DK Publishers (2015)"},{"issue":"2","key":"281_CR17","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10462-016-9501-y","volume":"48","author":"B Srinivasan","year":"2017","unstructured":"Srinivasan, B., Parthasarathi, R.: A survey of imperatives and action representation formalisms. Artif. Intell. Rev. 48(2), 263\u2013297 (2017)","journal-title":"Artif. Intell. Rev."},{"issue":"4","key":"281_CR18","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1086\/286592","volume":"6","author":"A Hofstadter","year":"1939","unstructured":"Hofstadter, A., McKinsey, J.C.C.: On the logic of imperatives. Philos. Sci. 6(4), 446\u2013457 (1939)","journal-title":"Philos. Sci."},{"key":"281_CR19","doi-asserted-by":"crossref","unstructured":"Jorgensen, J.: Imperatives and logic. Erkenntnis 7, 288-296 (1937-1938)","DOI":"10.1007\/BF00666538"},{"key":"281_CR20","first-page":"53","volume":"7","author":"A Ross","year":"1945","unstructured":"Ross, A.: Imperatives and logic. Theoria 7, 53\u201371 (1945)","journal-title":"Theoria"},{"issue":"2","key":"281_CR21","doi-asserted-by":"publisher","first-page":"175","DOI":"10.2307\/2182023","volume":"53","author":"EL Beardsley","year":"1944","unstructured":"Beardsley, E.L.: Imperative sentences in relation to indicatives. Philos. Rev. 53(2), 175\u2013185 (1944)","journal-title":"Philos. Rev."},{"key":"281_CR22","unstructured":"Fox, C.: Imperatives: a logic of satisfaction. Retrieved December 5, 2009 from http:\/\/chris.foxearth.org\/papers\/C-Fox-Satisfaction-2008.pdf (2008)"},{"issue":"4","key":"281_CR23","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1080\/01445340.2019.1615366","volume":"40","author":"E Freschi","year":"2019","unstructured":"Freschi, E., Ollett, A., Pascucci, M.: Duty and sacrifice: a logical analysis of the M\u012bm\u0101$$\\dot{\\text{ m }}$$s\u0101 theory of Vedic injunctions. Hist. Philos. Log. 40(4), 323\u2013354 (2019)","journal-title":"Hist. Philos. Log."},{"key":"281_CR24","doi-asserted-by":"crossref","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence, pp. 608-620. London (1971)","DOI":"10.1016\/0004-3702(71)90010-5"},{"issue":"2","key":"281_CR25","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-021-00281-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-021-00281-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-021-00281-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T15:28:25Z","timestamp":1657553305000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-021-00281-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,6]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["281"],"URL":"https:\/\/doi.org\/10.1007\/s11787-021-00281-6","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,8,6]]},"assertion":[{"value":"1 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 June 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 August 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}