{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T16:38:16Z","timestamp":1774543096170,"version":"3.50.1"},"reference-count":54,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1080\/0952813031000119719","type":"journal-article","created":{"date-parts":[[2004,2,9]],"date-time":"2004-02-09T16:27:16Z","timestamp":1076344036000},"page":"407-431","source":"Crossref","is-referenced-by-count":8,"title":["Formal verification of multi-agent systems behaviour emerging from cognitive task analysis"],"prefix":"10.1080","volume":"15","author":[{"given":"Ana Lilia","family":"Laureano-Cruces","sequence":"first","affiliation":[]},{"given":"Axel Arturo","family":"Barcel\u00f3-Aspeitia","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"bib1","first-page":"pp. 803\u2013812","volume-title":"Memoria del 3er Encuentro Internacional de Ciencias de la Computaci\u00f3n ENC01","author":"Alvarado M.","year":"2001"},{"key":"bib2","doi-asserted-by":"crossref","unstructured":"Atkinson-Abutridy J. Carrasco J. 1999 Un modelo evolutivo de redes de comportamiento para agentes aut\u00f3nomos que utilizan mecanismos de emergencia EnRevista Iberoamericana de Inteligencia Artificial(eds.) Asociaci\u00f3n Espa\u00f1ola para la Inteligencia Artificial (AEPIA), No. Oto\u00f1o\/99 pp. 59\u201367","DOI":"10.4114\/ia.v3i8.646"},{"key":"bib3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1080\/11663081.1995.10510854","volume":"5","author":"Baader F.","year":"1995","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"bib4","volume-title":"Theoretical Aspects of Reasoning About Knowledge II","author":"Barwise J.","year":"1988"},{"key":"bib5","volume-title":"The Situation in Logic","author":"Barwise J.","year":"1989"},{"key":"bib6","volume-title":"Working Papers on Diagrams and Logic","author":"Barwise J.","year":"1993"},{"key":"bib7","doi-asserted-by":"publisher","DOI":"10.2307\/2026578"},{"key":"bib8","volume-title":"Situations and Attitudes","author":"Barwise J.","year":"1983"},{"key":"bib9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information flow: the logic of distributed systems","author":"Barwise J.","year":"1997"},{"key":"bib10","volume-title":"Intelligence as Adaptive Behaviour: An Experiment in Computational Neuroethology","author":"Beer R. D.","year":"1990"},{"key":"bib11","first-page":"pp. 219\u2013246","volume-title":"Dynamic Worlds","author":"Bertino E.","year":"1999"},{"key":"bib12","volume-title":"The Logic of Provability","author":"Boolos G.","year":"1993"},{"key":"bib13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90053-M"},{"key":"bib14","volume-title":"Artificial Intelligence","author":"Brooks R.","year":"1991"},{"key":"bib15","first-page":"98","volume":"1","author":"Ca\u00f1as J.","year":"1999","journal-title":"Memorias de la VIII Conferencia de la Asociaci\u00f3n Espa\u00f1ola para la Inteligencia Artificial. CAEPIA\u201999"},{"key":"bib16","unstructured":"Casta\u00f1eda S. 1993 Procesos cognitivos y educaci\u00f3n m\u00e9dica.SerieSeminarios, No.1. Facultad de Medicina \u2013 UNAM M\u00e9xico DF"},{"key":"bib17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"Chellas B.","year":"1980"},{"key":"bib18","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0190-32"},{"key":"bib19","volume-title":"Situation Theory and Its Applications","author":"Cooper R.","year":"1990"},{"key":"bib20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04607-4","volume-title":"Understanding Agent Systems","author":"d\u2019Inverno M.","year":"2001"},{"key":"bib21","unstructured":"El Alami M. de Arriaga F. Ugena A. 1998 Multi-Agent simulation as an aid for decision making and learning InProceedings of 2ndKFUPM Workshop on Information & Computer ScienceDhaharam Arabia Saudita pp. 121\u2013130"},{"key":"bib22","first-page":"pp. 286\u2013294","volume-title":"Conference Record of the Ninth Annual ACM Symposium on Theory of Computing","author":"Fischer M.J.","year":"1977"},{"key":"bib23","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"bib24","doi-asserted-by":"crossref","unstructured":"Gabbay D. M. Hogger C. J. Robinson J.A. 1993Handbook of Logic in Artificial Intelligence and Logic Programming \u2013 Volume 1: Logic FoundationsOxford Oxford University Press pp. 175\u2013240","DOI":"10.1093\/oso\/9780198537458.001.0001"},{"key":"bib25","volume-title":"Temporal Logics and their Applications","author":"Galton A.","year":"1987"},{"key":"bib26","first-page":"pp. 175\u2013240","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"Galton A.","year":"1995"},{"key":"bib27","first-page":"1729","volume-title":"Proceedings of the IEEE International Conference on Systems, Man & Cybernetics","volume":"2","author":"Garc\u00eda-Alegre M.","year":"1995"},{"key":"bib28","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"bib29","volume-title":"The Oxford Companion to the Mind","author":"Gregory R.L.","year":"1987"},{"key":"bib30","volume-title":"Handbook of Philosophical Logic, volume Extensions of Classical Logic","author":"Harel D.","year":"1984"},{"key":"bib31","first-page":"pp. 206\u2013213","volume-title":"Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME\u20192001)","author":"Hustadt U.","year":"2001"},{"key":"bib32","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00107-1"},{"key":"bib34","first-page":"pp. 395\u2013410","volume-title":"Reasoning about Actions and Plans","author":"Kaelbling L.","year":"1987"},{"key":"bib35","unstructured":"Laureano A. 1998 Los sistemas reactivos: un nuevo acercamiento a la inteligencia artificial distribuida Revista NOVATICA, No. 132 51 55 Spain"},{"key":"bib36","unstructured":"Laureano A. 2000 Interacci\u00f3n Din\u00e1mica en Sistemas de Ense\u00f1anza Inteligentes. Doctoral thesis, Instituto de Investigaciones Biom\u00e9dicas Universidad Nacional Aut\u00f3noma de M\u00e9xico"},{"key":"bib37","doi-asserted-by":"publisher","DOI":"10.1076\/ilee.6.3.225.3603"},{"key":"bib38","unstructured":"Laureano A. de Arriaga F. 1999 El an\u00e1lisis cognitivo de tareas una herramienta para modelar la conducta de los sistemas de ense\u00f1anza inteligentes. Revista Latina de Pensamiento y Lenguaje 2B 315 335 Mexico"},{"key":"bib39","doi-asserted-by":"publisher","DOI":"10.1080\/019697200124900"},{"key":"bib40","doi-asserted-by":"publisher","DOI":"10.1080\/09528130110063092"},{"key":"bib41","first-page":"pp. 254\u2013260","volume-title":"First International Conference on Multi-Agent System","author":"Luck M.","year":"1995"},{"key":"bib42","doi-asserted-by":"publisher","DOI":"10.1007\/BF01191722"},{"key":"bib43","first-page":"pp. 49\u201370","volume-title":"Designing Autonomous Agents Theory and Practice from Biology to Engineering and Back","author":"Maes P.","year":"1993"},{"key":"bib44","volume-title":"Cambridge Tracts in Theoretical Computer Science 41","author":"Meyer J.-J.Ch.","year":"1995"},{"key":"bib45","volume-title":"On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages","author":"Mylopoulos J.","year":"1984"},{"key":"bib46","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888999134052"},{"key":"bib47","first-page":"1","volume":"2","author":"Newell A.","year":"1981","journal-title":"AI Magazine"},{"key":"bib49","first-page":"pp. 102\u2013144","volume-title":"Proceedings of the 1st Working on Logic of Programs","author":"Parikh R.","year":"1981"},{"key":"bib50","first-page":"pp. 109\u2013121","volume-title":"Proceedings of the 17th IEEE Symposium on Foundations of Computer Science","author":"Pratt V.","year":"1976"},{"key":"bib51","first-page":"340","volume-title":"ERIC. Documentation Reproduction Service","author":"Reeding R.E.","year":"1992"},{"key":"bib52","volume-title":"Understanding Z: A Specification Language and its Formal Semantics","author":"Spivey J.M.","year":"1988"},{"key":"bib53","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LIX.236.433"},{"key":"bib54","first-page":"pp. 97\u2013106","volume-title":"The Collected Works of A. M. Turing, volume Mechanical Intelligence","author":"Turing A.M.","year":"1947"},{"key":"bib55","volume-title":"Modal Logic as a Theory of Information","year":"1983"},{"key":"bib56","first-page":"pp. 512\u2013513","volume-title":"In Proceedings KR-98","author":"Wolter F.","year":"1998"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0952813031000119719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T12:17:02Z","timestamp":1705061822000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/0952813031000119719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":54,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["10.1080\/0952813031000119719"],"URL":"https:\/\/doi.org\/10.1080\/0952813031000119719","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}