{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T09:40:02Z","timestamp":1749030002366,"version":"3.41.0"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,7,29]],"date-time":"2016-07-29T00:00:00Z","timestamp":1469750400000},"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":["Artif Intell Rev"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10462-016-9501-y","type":"journal-article","created":{"date-parts":[[2016,7,29]],"date-time":"2016-07-29T16:20:32Z","timestamp":1469809232000},"page":"263-297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A survey of imperatives and action representation formalisms"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8698-1836","authenticated-orcid":false,"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":[[2016,7,29]]},"reference":[{"key":"9501_CR1","volume-title":"How to do things with words","author":"J Austin","year":"1962","unstructured":"Austin J (1962) How to do things with words. Oxford University Press, Oxford"},{"key":"9501_CR2","unstructured":"Babawuro U, Beiji Z (2011) Knowledge representation: a general survey and techniques for sound knowledge based systems. Int J Intell Inf Process 2(4):16\u201322"},{"issue":"2","key":"9501_CR3","doi-asserted-by":"crossref","first-page":"175","DOI":"10.2307\/2182023","volume":"53","author":"EL Beardsley","year":"1944","unstructured":"Beardsley EL (1944) Imperative sentences in relation to indicatives. Philos Rev 53(2):175\u2013185","journal-title":"Philos Rev"},{"volume-title":"Readings in knowledge representation","year":"1985","key":"9501_CR4","unstructured":"Brachman RJ, Levesque HJ (eds) (1985) Readings in knowledge representation. Morgan Kaufmann Publishers Inc., San Francisco"},{"issue":"4","key":"9501_CR5","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/s10992-013-9284-4","volume":"43","author":"N Charlow","year":"2014","unstructured":"Charlow N (2014) Logic and semantics for imperatives. J Philos Log 43(4):617\u2013664","journal-title":"J Philos Log"},{"key":"9501_CR6","doi-asserted-by":"crossref","unstructured":"Ciabattoni A, Freschi E, Genco FA, Lellmann B (2015) M\u012bm\u0101ms\u0101 deontic logic: proof theory and applications. In: Automated reasoning with analytic tableaux and related methods\u201424th international conference, TABLEAUX 2015, Wroc\u0142aw, Poland, September 21\u201324, 2015. Proceedings, pp 323\u2013338","DOI":"10.1007\/978-3-319-24312-2_22"},{"issue":"2\u20133","key":"9501_CR7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"PR Cohen","year":"1990","unstructured":"Cohen PR, Levesque HJ (1990) Intention is choice with commitment. Artif Intell 42(2\u20133):213\u2013261","journal-title":"Artif Intell"},{"key":"9501_CR8","unstructured":"Condoravdi C, Lauer S (2011) Imperatives: meaning and illocutionary force. In: Empirical issues in syntax and semantics 8, to appear, invited talk at Colloque de Syntaxe et Semantique a Paris"},{"key":"9501_CR9","unstructured":"Dixon L, Smaill A, Bundy A (2009a) Verified planning by deductive synthesis in intuitionistic linear logic. In: Proceedings of VVPS\u201909, p\u00a010"},{"key":"9501_CR10","doi-asserted-by":"crossref","unstructured":"Dixon L, Smaill A, Tsang T (2009b) Plans, actions and dialogue using linear logic. J Log Lang Inform 18(2):48","DOI":"10.1007\/s10849-008-9079-0"},{"key":"9501_CR11","doi-asserted-by":"crossref","unstructured":"Dovier A, Formisano A, Pontelli E (2011) Perspectives on logic-based approaches for reasoning about actions and change. In: Balduccini M, Son TC (eds) Logic programming, knowledge representation, and nonmonotonic reasoning: essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Springer, Berlin, pp 259\u2013279","DOI":"10.1007\/978-3-642-20832-4_17"},{"key":"9501_CR12","doi-asserted-by":"crossref","unstructured":"Dzifcak J, Scheutz M, Baral C, Schermerhorn PW (2009) 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: ICRA, pp 4163\u20134168","DOI":"10.1109\/ROBOT.2009.5152776"},{"issue":"1","key":"9501_CR13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1111\/0824-7935.00057","volume":"14","author":"BD Eugenio","year":"1998","unstructured":"Eugenio BD (1998) An action representation formalism to interpret natural language instructions. Comput Intell 14(1):89\u2013133","journal-title":"Comput Intell"},{"key":"9501_CR14","doi-asserted-by":"crossref","unstructured":"Fikes RE, Nilsson NJ (1971) STRIPS: a new approach to the application of theorem proving to problem solving. In: Proceedings of the 2nd international joint conference on artificial intelligence, London, pp 608\u2013620","DOI":"10.1016\/0004-3702(71)90010-5"},{"issue":"2","key":"9501_CR15","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer MJ, Ladner RE (1979) Propositional dynamic logic of regular programs. J Comput Syst Sci 18(2):194\u2013211","journal-title":"J Comput Syst Sci"},{"key":"9501_CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2307\/2026120","volume":"81","author":"J Forrester","year":"1984","unstructured":"Forrester J (1984) Gentle murder, or the adverbial samaritan. J Philos 81:193\u2013197","journal-title":"J Philos"},{"key":"9501_CR17","unstructured":"Fox C (2008) Imperatives: a logic of satisfaction. http:\/\/chris.foxearth.org\/papers\/C-Fox-Satisfaction-2008.pdf"},{"issue":"4","key":"9501_CR18","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1007\/s11225-012-9424-9","volume":"100","author":"C Fox","year":"2012","unstructured":"Fox C (2012) Imperatives: a judgemental analysis. Stud Log 100(4):879\u2013905","journal-title":"Stud Log"},{"issue":"3","key":"9501_CR19","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1093\/analys\/18.3.49","volume":"18","author":"PT Geach","year":"1958","unstructured":"Geach PT (1958) Imperative and deontic logic. Analysis 18(3):49\u201356","journal-title":"Analysis"},{"key":"9501_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard J-Y (1987) Linear logic. Theor Comput Sci 50:1\u2013102","journal-title":"Theor Comput Sci"},{"key":"9501_CR21","first-page":"9","volume":"187","author":"IW Goddard","year":"2008","unstructured":"Goddard IW (2008) A logic and semantics for imperatives. Noesis 187:9\u201319","journal-title":"Noesis"},{"key":"9501_CR22","volume-title":"Imperatives","author":"C Hamblin","year":"1987","unstructured":"Hamblin C (1987) Imperatives. Basil Blackwell, Oxford"},{"key":"9501_CR23","unstructured":"Hansen J (2008) Is there a logic of imperatives. In: Deontic Logic in Computer Science, Twentieth Europeon summer school in Logic, Language and Information, Germany"},{"issue":"5","key":"9501_CR24","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1007\/s10992-013-9304-4","volume":"43","author":"J Hansen","year":"2014","unstructured":"Hansen J (2014) Be nice! how simple imperatives simplify imperative logic. J Philos Log 43(5):965\u2013977","journal-title":"J Philos Log"},{"issue":"303","key":"9501_CR25","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1093\/mind\/LXXVI.303.309","volume":"I","author":"RM Hare","year":"1967","unstructured":"Hare RM (1967) Some alleged differences between imperatives and indicatives. Mind LXXV I(303):309\u2013326","journal-title":"Mind LXXV"},{"issue":"4","key":"9501_CR26","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1086\/286592","volume":"6","author":"A Hofstadter","year":"1939","unstructured":"Hofstadter A, McKinsey J (1939) On the logic of imperatives. Philos Sci 6(4):446\u2013457","journal-title":"Philos Sci"},{"issue":"02","key":"9501_CR27","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1017\/S0269888910000019","volume":"25","author":"A Hunter","year":"2010","unstructured":"Hunter A, Liu W (2010) A survey of formalisms for representing and reasoning with scientific knowledge. Knowl Eng Rev 25(02):199\u2013222","journal-title":"Knowl Eng Rev"},{"key":"9501_CR28","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BF00666538","volume":"7","author":"J Jorgensen","year":"1937","unstructured":"Jorgensen J (1937) Imperatives and logic. Erkenntnis 7:288\u2013296","journal-title":"Erkenntnis"},{"key":"9501_CR29","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1093\/analys\/26.3.64","volume":"26","author":"AJ Kenny","year":"1966","unstructured":"Kenny AJ (1966) Practical inference. Analysis 26:76\u201379","journal-title":"Analysis"},{"key":"9501_CR30","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski R, Sergot M (1986) A logic-based calculus of events. New Gen Comput 4:67\u201395","journal-title":"New Gen Comput"},{"key":"9501_CR31","unstructured":"Kungas P (2002). Linear logic theorem proving with abstraction. In: Proceedings of 14th European Summer School in Logic, Language and Information, Trento, Italy"},{"issue":"2","key":"9501_CR32","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1017\/S0269888900000114","volume":"8","author":"H Lee","year":"1993","unstructured":"Lee H, Tannock J, Williams JS (1993) Logic-based reasoning about actions and plans in artificial intelligence. Knowl Eng Rev 8(2):91\u2013120","journal-title":"Knowl Eng Rev"},{"key":"9501_CR33","volume-title":"Convention: a philosophical study","author":"DK Lewis","year":"1969","unstructured":"Lewis DK (1969) Convention: a philosophical study. Blackwell, Oxford"},{"key":"9501_CR34","unstructured":"Manas EL (2010) STRIPS and ADL. In: Seminar selected topics on specifying intelligent agents, im Sommersemester. Available from: http:\/\/www.lopez-manas.com\/downloads\/SeminarPaper_ELM_ADL_AND_STRIPS.pdf"},{"key":"9501_CR35","unstructured":"McCarthy J, Hayes PJ (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds) Machine intelligence, vol 4, pp 463\u2013502. Edinburgh University Press. reprinted in McC90"},{"key":"9501_CR36","unstructured":"Patkos T (2010) A formal theory for reasoning about action, knowledge and time. PhD thesis, A thesis submitted to University of Crete-Heraklion, Greece"},{"key":"9501_CR37","unstructured":"Pednault EPD (1989) ADL: exploring the middle ground between STRIPS and the situation calculus. In: Proceedings of the first international conference on principles of knowledge representation and reasoning. Morgan Kaufmann Publishers Inc, San Francisco, pp 324\u2013332"},{"key":"9501_CR38","volume-title":"An axiomatisation of imperatives using hoare logic","author":"M Perez-Ramirez","year":"2003","unstructured":"Perez-Ramirez M, Fox C (2003a) An axiomatisation of imperatives using hoare logic. In Proceedings of the fifth international workshop on computational semantics, ICWS"},{"key":"9501_CR39","doi-asserted-by":"crossref","unstructured":"Perez-Ramirez M, Fox C (2003b) Imperatives as obligatory and permitted actions. In: Proceedings of the fourth international conference on intelligent text processing and computational linguistics. CI-CLing","DOI":"10.1007\/3-540-36456-0_6"},{"key":"9501_CR40","unstructured":"Pratt VR (1976) Semantical considerations on floyd-hoare logic. In: Proceedings of the 17th symposium on foundations of computer science, IEEE. pp 109\u2013121"},{"key":"9501_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for specifying and implementing dynamical systems. The frame problem and the situation calculus","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical systems. The frame problem and the situation calculus. MIT Press, Cambridge"},{"key":"9501_CR42","volume-title":"The logic of commands Monographs in modern logic","author":"N Rescher","year":"1966","unstructured":"Rescher N (1966) The logic of commands Monographs in modern logic. Routledge & K. Paul, London"},{"key":"9501_CR43","volume-title":"Artificial intelligence","author":"E Rich","year":"2010","unstructured":"Rich E (2010) Artificial intelligence, 3rd edn. Tata McGraw-Hill Publishing Company Limited, New Delhi","edition":"3"},{"key":"9501_CR44","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1111\/j.1755-2567.1941.tb01039.x","volume":"7","author":"A Ross","year":"1941","unstructured":"Ross A (1941) Imperatives and logic. Theoria 7:53\u201371","journal-title":"Theoria"},{"key":"9501_CR45","volume-title":"Artificial intelligence: a modern approach","author":"P Russell","year":"2009","unstructured":"Russell P, Norvig P (2009) Artificial intelligence: a modern approach, 2nd edn. Pearson Education, New York","edition":"2"},{"issue":"1976","key":"9501_CR46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0047404500006837","volume":"5","author":"J Searle","year":"1976","unstructured":"Searle J (1976) A classification of illocutionary acts. Lang Soc 5(1976):1\u201323","journal-title":"Lang Soc"},{"issue":"2","key":"9501_CR47","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1305\/ndjfl\/1093635415","volume":"31","author":"K Segerberg","year":"1990","unstructured":"Segerberg K (1990) Validity and satisfaction in imperative logic. Notre Dame J Formal Log 31(2):203\u2013221","journal-title":"Notre Dame J Formal Log"},{"key":"9501_CR48","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"M Shanahan","year":"1995","unstructured":"Shanahan M, Bz LS (1995) A circumscriptive calculus of events. Artif Intell 77:249\u2013284","journal-title":"Artif Intell"},{"issue":"3","key":"9501_CR49","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1111\/j.1755-2567.1966.tb00603.x","volume":"32","author":"E Sosa","year":"1966","unstructured":"Sosa E (1966) The logic of imperatives1. Theoria 32(3):224\u2013235","journal-title":"Theoria"},{"issue":"1","key":"9501_CR50","first-page":"57","volume":"4","author":"E Sosa","year":"1967","unstructured":"Sosa E (1967) The semantics of imperatives. Am Philos Q 4(1):57\u201364","journal-title":"Am Philos Q"},{"key":"9501_CR51","unstructured":"Srinivasan B (2014) M\u012bm\u0101ms\u0101 inspired representation of actions (MIRA). PhD thesis, A thesis submitted to Anna University, India"},{"issue":"1","key":"9501_CR52","first-page":"45","volume":"21","author":"B Srinivasan","year":"2012","unstructured":"Srinivasan B, Parthasarathi R (2012) A formalism for action representation inspired by m\u012bm\u0101s\u0101. J Intell Syst 21(1):45\u201377","journal-title":"J Intell Syst"},{"issue":"1","key":"9501_CR53","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.jal.2012.12.001","volume":"11","author":"B Srinivasan","year":"2013","unstructured":"Srinivasan B, Parthasarathi R (2013) An intelligent task analysis approach for special education based on mira. J Appl Log 11(1):137\u2013145","journal-title":"J Appl Log"},{"key":"9501_CR54","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/j.artint.2010.04.010","volume":"175","author":"M Thielscher","year":"2011","unstructured":"Thielscher M (2011) A unifying action calculus. Artif Intell 175:120\u2013141","journal-title":"Artif Intell"},{"key":"9501_CR55","volume-title":"Survey of knowledge representation and reasoning systems","author":"K Trentelman","year":"2009","unstructured":"Trentelman K (2009) Survey of knowledge representation and reasoning systems. Technical report, DTIC Document"},{"key":"9501_CR56","unstructured":"van Benthem J, van Ditmarsch H, van Eijck J, Jaspars J (2012) Logic in action. http:\/\/www.logicinaction.org\/docs\/lia.pdf"},{"issue":"1","key":"9501_CR57","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1026792711025","volume":"66","author":"J Eijck van","year":"2000","unstructured":"van Eijck J (2000) Making things happen. Stud Log 66(1):41\u201358","journal-title":"Stud Log"},{"key":"9501_CR58","volume-title":"Handbook of knowledge representation","author":"F Harmelen van","year":"2007","unstructured":"van Harmelen F, van Harmelen F, Lifschitz V, Porter B (2007) Handbook of knowledge representation. Elsevier Science, San Diego"},{"key":"9501_CR59","volume-title":"Norm and action: a logical enquiry","author":"GH Wright von","year":"1971","unstructured":"von Wright GH (1971) Norm and action: a logical enquiry, 1st edn. Routledge & Kegan Paul PLC, London","edition":"1"},{"key":"9501_CR60","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1111\/j.1468-0068.2008.00684.x","volume":"42","author":"P Vranas","year":"2008","unstructured":"Vranas P (2008) New foundation for imperative logic i: logical connectives, consistency and quantifiers. Nous 42:529\u2013572","journal-title":"Nous"},{"issue":"478","key":"9501_CR61","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1093\/mind\/fzr032","volume":"120","author":"PB Vranas","year":"2011","unstructured":"Vranas PB (2011) New foundations for imperative logic: pure imperative reference. Mind 120(478):369\u2013446","journal-title":"Mind"},{"key":"9501_CR62","unstructured":"Vranas PB (2014) Natural deduction for imperative logic i: sentential pure imperative logic. In: 12th International conference on deontic logic and normative systems, Belgium"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-016-9501-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-016-9501-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-016-9501-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-016-9501-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T09:25:33Z","timestamp":1749029133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-016-9501-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,29]]},"references-count":62,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["9501"],"URL":"https:\/\/doi.org\/10.1007\/s10462-016-9501-y","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[2016,7,29]]}}}