{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,20]],"date-time":"2022-10-20T13:13:56Z","timestamp":1666271636849},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Cogn Process"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s10339-007-0191-x","type":"journal-article","created":{"date-parts":[[2007,10,31]],"date-time":"2007-10-31T11:41:59Z","timestamp":1193830919000},"page":"189-208","source":"Crossref","is-referenced-by-count":1,"title":["Formal modeling and analysis of cognitive agent behavior"],"prefix":"10.1007","volume":"9","author":[{"given":"Alexei","family":"Sharpanskykh","sequence":"first","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,11,1]]},"reference":[{"key":"191_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6395.001.0001","volume-title":"Species of mind: the philosophy and biology of cognitive ethology","author":"C Allen","year":"1997","unstructured":"Allen C, Bekoff M, (1997) Species of mind: the philosophy and biology of cognitive ethology. MIT Press, Cambridge"},{"key":"191_CR2","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1037\/0003-066X.51.4.355","volume":"51","author":"JR Anderson","year":"1996","unstructured":"Anderson JR (1996) ACT: a simple theory of complex cognition. Am Psychol 51:355\u2013365","journal-title":"Am Psychol"},{"key":"191_CR3","volume-title":"Finite transition systems. Semantics of communicating systems","author":"A Arnold","year":"1994","unstructured":"Arnold A (1994) Finite transition systems. Semantics of communicating systems. Prentice-Hall, Englewood Cliffs"},{"key":"191_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1008965713435","volume":"7","author":"C Balkenius","year":"1999","unstructured":"Balkenius C, Moren J (1999) Dynamics of a classical conditioning model. Auton Robots 7:41\u201356","journal-title":"Auton Robots"},{"issue":"12","key":"191_CR5","doi-asserted-by":"crossref","first-page":"1426","DOI":"10.1523\/JNEUROSCI.01-12-01426.1981","volume":"1","author":"TJ Carew","year":"1981","unstructured":"Carew TJ, Walters ET, Kandel ER (1981) Classical conditioning in a simple withdrawal reflex in Aplysia californica. J Neurosci 1(12):1426\u20131437","journal-title":"J Neurosci"},{"key":"191_CR6","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg EM, Peled DA (1999) Model checking. MIT Press, Cambridge"},{"key":"191_CR7","volume-title":"The feeling of what happens: body. Emotion and the making of consciousness","author":"A Damasio","year":"1999","unstructured":"Damasio A (1999) The feeling of what happens: body. Emotion and the making of consciousness. Harcourt Brace, New York"},{"key":"191_CR8","unstructured":"Dennett DC (1991) Consciousness explained. Little, Brown & Company. Published by Penguin Books"},{"key":"191_CR9","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0010-0277(00)00130-X","volume":"79","author":"DC Dennett","year":"2001","unstructured":"Dennett DC (2001) Are we explaining consciousness yet? Cognition 79:221\u2013237","journal-title":"Cognition"},{"key":"191_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6576.001.0001","volume-title":"Sweet dreams: philosophical obstacles to a science of consciousness","author":"DC Dennett","year":"2005","unstructured":"Dennett DC (2005) Sweet dreams: philosophical obstacles to a science of consciousness. MIT Press, Cambridge"},{"key":"191_CR11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/1-4020-2081-3_6","volume-title":"Seeing, thinking and knowing","author":"A Di Ferdinando","year":"2004","unstructured":"Di Ferdinando A, Parisi D (2004) Internal representations of sensory input reflect the motor output with which organisms respond to the input. In: Carsetti A (ed) Seeing, thinking and knowing. Kluwer, Dordrecht, pp 115\u2013141"},{"key":"191_CR12","volume-title":"The neurobiology of memory. Concepts, findings, trends","author":"Y Dudai","year":"1990","unstructured":"Dudai Y (1990) The neurobiology of memory. Concepts, findings, trends. Oxford University Press, Oxford"},{"issue":"1","key":"191_CR13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1017\/S0269888900007670","volume":"11","author":"M Fisher","year":"1996","unstructured":"Fisher M (1996) An introduction to executable temporal logics. Knowl Eng Rev 11(1):3\u201336","journal-title":"Knowl Eng Rev"},{"key":"191_CR14","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1037\/0003-066X.54.7.493","volume":"54","author":"PM Gollwitzer","year":"1999","unstructured":"Gollwitzer PM (1999) Implementation intentions-strong effects of simple plans. Am Psychol 54:493\u2013503","journal-title":"Am Psychol"},{"key":"191_CR16","unstructured":"Hawkins J (2004) On intelligence. Henry Gholt and Co Ltd, New York, USA"},{"key":"191_CR17","volume-title":"Philosophy of mind","author":"J Heil","year":"2000","unstructured":"Heil J (2000) Philosophy of mind. Routledge, London"},{"key":"191_CR18","first-page":"1","volume":"2","author":"WS Hunter","year":"1912","unstructured":"Hunter WS (1912) The delayed reaction in animals. Behavioral Monogr 2:1\u201385","journal-title":"Behav Monogr"},{"key":"191_CR19","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1142\/S0218843002000480","volume":"11","author":"CM Jonker","year":"2002","unstructured":"Jonker CM, Treur J (2002) Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. Int J Coop Inf Syst 11:51\u201392","journal-title":"Int J Coop Inf Syst"},{"key":"191_CR20","first-page":"471","volume":"2","author":"CM Jonker","year":"2002","unstructured":"Jonker CM, Treur J, Vries W de (2002) Temporal analysis of the dynamics of beliefs, desires, and intentions. Cogn Sci Q 2:471\u2013494 (Special Issue on Desires, Goals, Intentions, and Values: Computational Architectures)","journal-title":"Cogn Sci Q"},{"key":"191_CR22","volume-title":"Philosophy of mind","author":"J Kim","year":"1996","unstructured":"Kim J (1996) Philosophy of Mind. Westview Press, Boulder"},{"key":"191_CR23","volume-title":"Constructive memory","author":"B Kokinov","year":"2003","unstructured":"Kokinov B (2003) The mechanisms of episode construction and blending in DUAL and AMBR: interaction between memory and analogy. In: Kokinov B, Hirst W (eds) Constructive memory. NBU Press, Sofia"},{"key":"191_CR24","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 Generation Comput 4:67\u201395","journal-title":"New Generation Comput"},{"issue":"1\u20132","key":"191_CR25","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/FI-1998-341203","volume":"34","author":"BW Linder van","year":"1998","unstructured":"van Linder BW, van der Hoek, Meyer J-J Ch (1998) Formalising abilities and opportunities of agents. Fundam Inf 34(1\u20132):53\u2013101","journal-title":"Fundam Inf"},{"key":"191_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal verification of reactive systems","author":"Z Manna","year":"1995","unstructured":"Manna Z, Pnueli A (1995) Temporal verification of reactive systems. Springer, Berlin"},{"key":"191_CR27","volume-title":"Extensions of first order logic","author":"M Manzano","year":"1996","unstructured":"Manzano M (1996) Extensions of first order logic. Cambridge University Press, Cambridge"},{"key":"191_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking","author":"K McMillan","year":"1993","unstructured":"McMillan K (1993) Symbolic model checking. Kluwer, Dordrecht"},{"key":"191_CR29","doi-asserted-by":"crossref","unstructured":"Pockett S, Banks WP, Gallagher S (eds) (2006) Does consciousness cause behaviour? MIT Press, Cambridge","DOI":"10.7551\/mitpress\/9780262162371.001.0001"},{"key":"191_CR31","volume-title":"Mind, language, and reality: philosophical papers","author":"H Putman","year":"1975","unstructured":"Putman H (1975) Mind, language, and reality: philosophical papers, vol 2. Cambridge University Press, Cambridge"},{"key":"191_CR32","unstructured":"Rao AS, Georgeff MP (1991) Modeling agents within a BDI architecture. In: Proceedings of the 2nd international conference on principles of knowledge representation and reasoning (KR \u201991). Morgan Kaufmann, Cambridge, pp 473\u2013484"},{"key":"191_CR33","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for specifying and implementing dynamical systems","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge"},{"key":"191_CR34","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1016\/j.tins.2003.09.014","volume":"26","author":"AC Roberts","year":"2003","unstructured":"Roberts AC, Glanzman DL (2003) Learning in Aplysia: looking at synaptic plasticity from both sides. Trends Neurosci 26:662\u2013670","journal-title":"Trends Neurosci"},{"key":"191_CR35","first-page":"37","volume":"19","author":"I Schweiger Gallo","year":"2007","unstructured":"Schweiger Gallo I, Gollwitzer PM (2007) Implementation intentions: a look back at fifteen years of progress. Psicothema 19:37\u201342","journal-title":"Psicothema"},{"key":"191_CR36","unstructured":"Sharpanskykh A, Treur J (2005) Modeling of agent behavior using behavioral specifications (Tech. Rep. 06-02ASRAI; http:\/\/hdl.handle.net\/1871\/9123 ) Vrije Universiteit, Amsterdam"},{"key":"191_CR37","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1080\/00221309.1935.9920087","volume":"12","author":"BF Skinner","year":"1935","unstructured":"Skinner BF (1935) The generic nature of the concepts of stimulus and response. J Gen Psychol 12:40\u201365","journal-title":"J Gen Psychol"},{"key":"191_CR38","volume-title":"Science and human behavior","author":"BF Skinner","year":"1953","unstructured":"Skinner BF (1953) Science and human behavior. Macmillan, New York"},{"key":"191_CR15","doi-asserted-by":"crossref","unstructured":"van Ham F, van de Wetering H, van Wijk JJ (2002) Interactive visualization of state transition systems. In: IEEE Trans Vis Comput Graph IEEE CS Press, 8(4):319\u2013329","DOI":"10.1109\/TVCG.2002.1044518"},{"key":"191_CR39","doi-asserted-by":"crossref","unstructured":"Vardi MY (1996) An automata-theoretic approach to linear temporal logic. In: Proceedings of the VIII Banff higher order workshop, Lecture notes in computer science, vol 1043. Springer, Heidelberg, pp 238\u2013266","DOI":"10.1007\/3-540-60915-6_6"},{"key":"191_CR40","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1037\/h0074428","volume":"20","author":"JB Watson","year":"1913","unstructured":"Watson JB (1913) Psychology as the behaviorist views it. Psychol Rev 20:158\u2013177","journal-title":"Psychol Rev"},{"key":"191_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3650.001.0001","volume-title":"The illusion of conscious will","author":"DM Wegner","year":"2002","unstructured":"Wegner DM (2002) The Illusion of Conscious Will. MIT Press, Cambridge"},{"key":"191_CR42","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S1364-6613(03)00002-0","volume":"7","author":"DM Wegner","year":"2003","unstructured":"Wegner DM (2003) The mind\u2019s best trick: how we experience conscious will. Trends Cogn Sci 7:65\u201369","journal-title":"Trends Cogn Sci"}],"container-title":["Cognitive Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10339-007-0191-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10339-007-0191-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10339-007-0191-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T19:20:03Z","timestamp":1588015203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10339-007-0191-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,1]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["191"],"URL":"https:\/\/doi.org\/10.1007\/s10339-007-0191-x","relation":{},"ISSN":["1612-4782","1612-4790"],"issn-type":[{"value":"1612-4782","type":"print"},{"value":"1612-4790","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,1]]}}}