{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:09:17Z","timestamp":1744258157720,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642334085"},{"type":"electronic","value":"9783642334092"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33409-2_32","type":"book-chapter","created":{"date-parts":[[2012,9,21]],"date-time":"2012-09-21T20:03:58Z","timestamp":1348257838000},"page":"306-315","source":"Crossref","is-referenced-by-count":3,"title":["Assistant Tools for Teaching FOL to CF Conversion"],"prefix":"10.1007","author":[{"given":"Foteini","family":"Grivokostopoulou","sequence":"first","affiliation":[]},{"given":"Isidoros","family":"Perikos","sequence":"additional","affiliation":[]},{"given":"Ioannis","family":"Hatzilygeroudis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Barwise, J., Etchemendy, J.: Language, Proof and Logic, Center for the Study of Language and Information (2002)","key":"32_CR1"},{"issue":"4","key":"32_CR2","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/jigpal\/jzm020","volume":"15","author":"K. Boda","year":"2007","unstructured":"Boda, K., Ma, J., Sinnadurai, G., Summers, A.: Pandora: A reasoning Toolbox using natural Deduction Style. Logic Journal of the IGPL\u00a015(4), 293\u2013304 (2007)","journal-title":"Logic Journal of the IGPL"},{"key":"32_CR3","volume-title":"Knowledge Representation and Reasoning","author":"R.J. Brachman","year":"2004","unstructured":"Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)"},{"unstructured":"Coq Development Team. The Coq Proof Assistant User\u2019s Guide. Version 8.3 (2010)","key":"32_CR4"},{"unstructured":"Friedman-Hill, E.: Jess in Action: Rule-Based Systems in Java. Manning Publications Company (2003)","key":"32_CR5"},{"doi-asserted-by":"crossref","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 (ICALT 2004), pp. 106\u2013110 (2004)","key":"32_CR6","DOI":"10.1109\/ICALT.2004.1357384"},{"key":"32_CR7","first-page":"309","volume-title":"Proceedings of the 20th International FLAIRS Conference","author":"I. Hatzilygeroudis","year":"2007","unstructured":"Hatzilygeroudis, I.: Teaching NL to FOL and FOL to CL Conversions. In: Proceedings of the 20th International FLAIRS Conference, Key West, FL, pp. 309\u2013314. AAAI Press, Menlo Park (2007)"},{"issue":"2","key":"32_CR8","first-page":"35","volume":"3","author":"M. Hendriks","year":"2010","unstructured":"Hendriks, M., Kaliszyk, C., Van Raamsdonk, F., Wiedijk, F.: Teaching logic using a state-of-the-art proof assistant. Acta Didactica Napocensia\u00a03(2), 35\u201348 (2010)","journal-title":"Acta Didactica Napocensia"},{"issue":"4-5","key":"32_CR9","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1504\/IJCEELL.2007.015042","volume":"17","author":"C. Koutsojannis","year":"2007","unstructured":"Koutsojannis, C., Beligiannis, G., Hatzilygeroudis, I., Papavlasopoulos, C., Prentzas, J.: Using a hybrid Al approach for exercise difficulty level adaptation. International Journal of Continuing Engineering Education and Life-Long Learning\u00a017(4-5), 256\u2013272 (2007)","journal-title":"International Journal of Continuing Engineering Education and Life-Long Learning"},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/563340.563490","volume-title":"SIGCSE 2002","author":"S. Lukins","year":"2002","unstructured":"Lukins, S., Levicki, A., Burg, J.: A tutorial program for propositional logic with human\/computer interactive learning. In: SIGCSE 2002, pp. 381\u2013385. ACM, New York (2002)"},{"doi-asserted-by":"crossref","unstructured":"Perikos, I., Grivokostopoulou, F., Hatzilygeroudis, I., Kovas, K.: Difficulty Estimator for Translating Natural Language into First Order Logic. In: Proceedings of the Third International Conference on Intelligent Decision Techologies (KES-IDT 2011), vol.\u00a010(pt. I), pp. 135\u2013144 (2011)","key":"32_CR11","DOI":"10.1007\/978-3-642-22194-1_14"},{"unstructured":"Perikos, I., Grivokostopoulou, F., Hatzilygeroudis, I.: Teaching assistant tools for NL to FOL Conversion. In: Proceedings of the IADIS International Conference e-Learning 2011, Rome, Italy, July 20-23, pp. 337\u2013345 (2011)","key":"32_CR12"},{"issue":"4","key":"32_CR13","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1093\/jigpal\/jzm026","volume":"15","author":"W. Sieg","year":"2007","unstructured":"Sieg, W.: The AProS project: Strategic thinking & Computational logic. Logic Journal of the IGPL\u00a015(4), 359\u2013368 (2007)","journal-title":"Logic Journal of the IGPL"},{"unstructured":"Yacef, K.: The Logic-ITA in the classroom: a medium scale experiment. International Journal on Artificial Intelligence in Education, 41\u201360 (2005)","key":"32_CR14"}],"container-title":["IFIP Advances in Information and Communication Technology","Artificial Intelligence Applications and Innovations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33409-2_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T05:34:51Z","timestamp":1744176891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33409-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642334085","9783642334092"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33409-2_32","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}