{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T08:10:02Z","timestamp":1746000602464,"version":"3.40.4"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319005508"},{"type":"electronic","value":"9783319005515"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-00551-5_26","type":"book-chapter","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T20:23:36Z","timestamp":1367353416000},"page":"209-217","source":"Crossref","is-referenced-by-count":0,"title":["A MAS for Teaching Computational Logic"],"prefix":"10.1007","author":[{"given":"Jose Alberto","family":"Maestro-Prieto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ma Ar\u00e1nzazu","family":"Sim\u00f3n-Hurtado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan F.","family":"de-Paz-Santana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Villarrubia-Gonz\u00e1lez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Bundy, A., Moore, J.D., Zinn, C.: An Intelligent Tutoring System for Induction Proofs. In: Melis, E., Scott, D., et al. (eds.) CADE-17 Workshop on Automated Deduction in Education, pp. 4\u201313 (2000)"},{"key":"26_CR2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/AIC-2012-0512","volume":"25","author":"G. Sutcliffe","year":"2012","unstructured":"Sutcliffe, G.: The CADE-23 Automated Theorem Proving System Competition - CASC-23. AI Communications\u00a025, 49\u201363 (2012)","journal-title":"AI Communications"},{"key":"26_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-73086-6_15","volume-title":"Towards Mechanized Mathematical Assistants","author":"D. Aspinall","year":"2007","unstructured":"Aspinall, D., L\u00fcth, C., Winterstein, D.: A Framework for Interactive Proof. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol.\u00a04573, pp. 161\u2013175. Springer, Heidelberg (2007)"},{"key":"26_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-87730-1_32","volume-title":"Diagrammatic Representation and Inference","author":"D. Barker-Plummer","year":"2008","unstructured":"Barker-Plummer, D., Etchemendy, J., Liu, A., Murray, M., Swoboda, N.: Openproof - A Flexible Framework for Heterogeneous Reasoning. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol.\u00a05223, pp. 347\u2013349. Springer, Heidelberg (2008)"},{"key":"26_CR5","first-page":"335","volume-title":"Proceedings of the 12th European Conference on Artificial Intelligence","author":"J. Aitken","year":"1996","unstructured":"Aitken, J.: Problem Solving in Interactive Proof: A Knowledge-Modelling Approach. In: Wahlster, W. (ed.) Proceedings of the 12th European Conference on Artificial Intelligence, pp. 335\u2013339. John Wiley & Sons, Budapest (1996)"},{"key":"26_CR6","unstructured":"Driscoll, M.P.: Psychological foundations of instructional design. In: Trends and Issues in Instructional Design and Technology, 2nd edn., pp. 36\u201344. Pearson Education, Inc., Upper Saddle River (2007)"},{"key":"26_CR7","unstructured":"Jennings, N.R., Wooldridge, M.: Agent-Oriented Software Engineering. In: Bradshaw, J. (ed.). AAAI\/MIT Press (2000)"},{"key":"26_CR8","unstructured":"Rodr\u00edguez, S., P\u00e9rez-Lancho, B., de Paz, J., Bajo, J., Corchado, J.: Ovamah: Multiagent-based Adaptive Virtual Organizations. In: Proceedings of the 12th International Conference on Information Fusion, Seattle, USA, pp. 990\u2013997 (2009)"},{"key":"26_CR9","unstructured":"Cheikes, B.: GIA: An agent-based architecture for Intelligent Tutoring Systems. In: Proceedings of the CIKM 1995 Workshop on Intelligent Information Agents (1995)"},{"key":"26_CR10","unstructured":"Capuano, N., Marsella, M., Salerno, S.: ABITS: An Agent Based Intelligent Tutoring System for Distance Learning. In: Proceedings of the International Workshop in Adaptative and Intelligent Web-based Educational Systems, pp. 17\u201328 (2000)"},{"key":"26_CR11","unstructured":"Hospers, M., Kroezen, E., Nijholt, A., op den Akker, R.: Developing a generic agent-based intelligent tutoring system. In: Devedzic, V., Spector, M., Sampson, D., Kinshuk, M. (eds.) The 3rd IEEE International Conference on Advanced Learning Technologies. IEEE Computer Society, Los Alamitos (2003)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez-Caballero, A., Gascue\u00f1a, J., Botella, F., Lazcorreta, E.: Distance learning by intelligent tutoring system. Part I: Agent-based architecture for user-centred adaptivity. In: Proceedings of the 7th International Conference on Enterprise Information Systems, pp. 75\u201382 (2005)","DOI":"10.5220\/0002519500750082"},{"key":"26_CR13","unstructured":"Gonz\u00e1lez, C., Burguillo, J., Vidal, J.C., Llamas, M., Rodr\u00edguez, D.: ITS-TB: An Intelligent Tutoring System to provide e-Learning in Public Health. In: Proceedings of the 16th EAEEIE Annual Conference on Innovation in Education for Electrical and Information Engineering, EIE (2005)"},{"key":"26_CR14","unstructured":"Association for Computing Machinery (ACM): Computer Science Curriculum 2008: An Interim Revision of the CS 2001 (2008)"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1207\/S15326985EP3801_6","volume":"38","author":"R.E. Mayer","year":"2003","unstructured":"Mayer, R.E., Moreno, R.: Nine Ways to Reduce Cognitive Load in Multimedia Learning. Educational Psychologist\u00a038, 43\u201352 (2003)","journal-title":"Educational Psychologist"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Clark, R., Mayer, R.: e-Learning and the Science of Instruction: Proven Guidelines for Consumers and Designers of Multimedia Learning, 3rd edn. Pfeiffer (2011)","DOI":"10.1002\/9781118255971"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1869746.1869761","volume":"1","author":"L. Mondshein","year":"2010","unstructured":"Mondshein, L., Sattar, A., Lorenzen, T.: Visualizing prolog: a \u201cjigsaw puzzle\u201d approach. ACM Inroads\u00a01, 43\u201348 (2010)","journal-title":"ACM Inroads"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1080\/01690969508407099","volume":"3","author":"K. Stenning","year":"1995","unstructured":"Stenning, K., Cox, R., Oberlander, J.: Contrasting the Cognitive Effects of Graphical and Sentential Logic Teaching: Reasoning, Representation and Individual Differences. Language and Cognitive Processes\u00a03, 333\u2013354 (1995)","journal-title":"Language and Cognitive Processes"},{"key":"26_CR19","first-page":"371","volume":"18","author":"M.J. Croy","year":"1999","unstructured":"Croy, M.J.: Graphic Interface Design and Deductive Proof Construction. Journal of Computers in Mathematics and Science Teaching\u00a018, 371\u2013385 (1999)","journal-title":"Journal of Computers in Mathematics and Science Teaching"},{"key":"26_CR20","unstructured":"Endriss, U.: The interactive learning environment winke for teaching deductive reasoning. In: Manzano, M. (ed.) Proceedings of the 1st International Congress on Tools for Teaching Logic. University of Salamanca (2000) (invited talk abstract)"},{"key":"26_CR21","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/ICALT.2004.1357384","volume-title":"Proceedings of the IEEE International Conference on Advanced Learning Technologies","author":"I. Hatzilygeroudis","year":"2004","unstructured":"Hatzilygeroudis, I., Giannoulis, C., Koutsojannis, C.: A Web-Based Education System for Predicate Logic. In: Proceedings of the IEEE International Conference on Advanced Learning Technologies, pp. 106\u2013110. IEEE Computer Society, Washington, DC (2004)"},{"key":"26_CR22","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MIS.2007.74","volume":"22","author":"A. Mitrovic","year":"2007","unstructured":"Mitrovic, A., Martin, B., Suraweera, P.: Intelligent tutors for all: The constraint-based approach. IEEE Intelligent Systems\u00a022, 38\u201345 (2007)","journal-title":"IEEE Intelligent Systems"},{"key":"26_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/3-540-45108-0_76","volume-title":"Intelligent Tutoring Systems","author":"B. Ferrero","year":"2000","unstructured":"Ferrero, B., Fern\u00e1ndez-Castro, I., Urretavizcaya, M.: Multiple Paradigms for a Generic Diagnostic Proposal. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol.\u00a01839, p. 653. Springer, Heidelberg (2000)"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Finin, T., Weber, J., Wiederhold, G., Genesereth, M., Fritzson, R., McGuire, J., Pelavin, R., Shapiro, S., Beck, C.: Specification of the KQML Agent-Communication Language. Technical Report, DARPA, DRAFT (1993)","DOI":"10.1145\/191246.191322"}],"container-title":["Advances in Intelligent Systems and Computing","Distributed Computing and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00551-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T07:40:22Z","timestamp":1745998822000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00551-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319005508","9783319005515"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00551-5_26","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]}}}