{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:28Z","timestamp":1725549988307},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262985"},{"type":"electronic","value":"9783540316725"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499220_44","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:35:02Z","timestamp":1268400902000},"page":"427-436","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces"],"prefix":"10.1007","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","unstructured":"Bosse, T., Jonker, C.M., Treur, J.: Simulation and analysis of controlled multi-representational reasoning processes. In: Proc. of the Fifth International Conference on Cognitive Modelling, ICCM 2003. Universitats-Verlag Bamberg, pp. 27\u201332 (2003)"},{"key":"44_CR2","unstructured":"Bosse, T., Jonker, C.M., Schut, M.C., Treur, J.: Modelling Shared Extended Mind and Collective Representational Content. In: Proc. of the 24th International Conference on Innovative Techniques and Applications of Artificial Intelligence. LNCS (LNAI), Springer, Heidelberg (2004) (to appear)"},{"key":"44_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science in Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science in Computer Programming"},{"key":"44_CR4","unstructured":"Dubois, E., Du Bois, P., Zeippen, J.M.: A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS 1995 (1995)"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS (LNAI), vol.\u00a01647, pp. 8\u201327. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48437-X_2"},{"key":"#cr-split#-44_CR6.1","doi-asserted-by":"crossref","unstructured":"Jonker, C.M., Treur, J.: Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 350\u2013380. Springer, Heidelberg (1998);","DOI":"10.1007\/3-540-49213-5_13"},{"key":"#cr-split#-44_CR6.2","doi-asserted-by":"crossref","unstructured":"Extended version in: International Journal of Cooperative Information Systems 11, 51\u201392 (2002)","DOI":"10.1142\/S0218843002000480"},{"key":"44_CR7","first-page":"512","volume-title":"Proceedings of the 24th Annual Conference of the Cognitive Science Society, CogSci. 2002","author":"C.M. Jonker","year":"2002","unstructured":"Jonker, C.M., Treur, J.: Analysis of the Dynamics of Reasoning Using Multiple Representations. In: Gray, W.D., Schunn, C.D. (eds.) Proceedings of the 24th Annual Conference of the Cognitive Science Society, CogSci. 2002, pp. 512\u2013517. Lawrence Erlbaum Associates, Inc., Mahwah (2002)"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"Jonker, C.M., Treur, J.: Modelling the Dynamics of Reasoning Processes: Reasoning by Assumption. Cognitive Systems Research Journal (2003) (in press)","DOI":"10.1016\/S1389-0417(02)00102-X"},{"key":"44_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"44_CR10","unstructured":"Nelson, T.: A Brief History of the Master MindTM Board Game, http:\/\/www.tnelson.demon.co.uk\/mastermind\/history.html"},{"key":"44_CR11","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.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"}],"container-title":["Lecture Notes in Computer Science","Mechanisms, Symbols, and Models Underlying Cognition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499220_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:38Z","timestamp":1605643298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499220_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262985","9783540316725"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11499220_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}