{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:48:56Z","timestamp":1725767336888},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781489917140"},{"type":"electronic","value":"9780387348445"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-0-387-34844-5_89","type":"book-chapter","created":{"date-parts":[[2013,12,29]],"date-time":"2013-12-29T16:46:32Z","timestamp":1388335592000},"page":"953-962","source":"Crossref","is-referenced-by-count":0,"title":["Logic programming: a tool for development of educational systems"],"prefix":"10.1007","author":[{"given":"Richard J.","family":"Allen","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Trilling","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"89_CR1","unstructured":"Allen, R., Nicolas, P. and Trilling, L. (1990) Figure Correctness in an Expert System for Teaching Geometry, in Proceedings of the eight biennial conference of the Canadian society for computational studies of intelligence, Ottawa, Canada, pp. 154-160."},{"key":"89_CR2","unstructured":"Allen, R., Idt, J. and Trilling, L. (1993) Constraint Based Automatic Construction and Manipulation of Geometric Figures, in Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chamb\u00e9ry, France, pp. 453-458."},{"key":"89_CR3","doi-asserted-by":"crossref","unstructured":"Cohen, J. (1990) Constraint Logic Programming Languages. Communications of the ACM, 33 (69).","DOI":"10.1145\/79204.79209"},{"key":"89_CR4","doi-asserted-by":"crossref","unstructured":"Colmerauer, A. (1990) Prolog III. Communications of the ACM, 33 (69).","DOI":"10.1145\/79204.79210"},{"key":"89_CR5","volume-title":"Cabri-g\u00e9om\u00e8tre, Manuel d\u2019utilisation","author":"Y Baulac","year":"1988","unstructured":"Baulac, Y., Bellemain, F. and Laborde, J.M. (1988) Cabri-g\u00e9om\u00e8tre, Manuel d\u2019utilisation. C\u00e9dic-Nathan, Paris."},{"key":"89_CR6","unstructured":"CABRI Geometry II (1994) Texas Instruments, Dallas, Texas."},{"key":"89_CR7","unstructured":"Sketchpad (1994) Key Curriculum Press, Berkeley, California."},{"key":"89_CR8","unstructured":"Nicolas, P. (1989) Construction et v\u00e9rification de figures g\u00e9om\u00e9trique dans le syst\u00e8me Mentoniezh. Th\u00e8se de l\u2019Universit\u00e9 de Rennes I."},{"key":"89_CR9","volume-title":"Proceedings of the Fourth International Conference on Logic Programming","author":"DW Loveland","year":"1897","unstructured":"Loveland, D.W. (1897) Near-Horn Prolog, in Proceedings of the Fourth International Conference on Logic Programming. Lassez, J.-L. (ed.). Melbourne, Australia, MIT Press."},{"key":"89_CR10","unstructured":"Muggleton, S. (1992) Inductive Logic Programming. The Apic Series No. 38, Academic Press."},{"key":"89_CR11","unstructured":"Older, W. and Vellino, A. (1994) Constraint Arithmetic on Real Intervals, in Constraint Logic Programming: Selected Research, Colmerauer, A. and Benhamou, F. (eds.). MIT Press."},{"key":"89_CR12","volume-title":"Mechanical Geometry Theorem Proving","author":"SC Chou","year":"1988","unstructured":"Chou, S.C. (1988) Mechanical Geometry Theorem Proving. Reidel Publishing, Norwell, MA."}],"container-title":["World Conference on Computers in Education VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34844-5_89","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T14:39:10Z","timestamp":1557931150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34844-5_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9781489917140","9780387348445"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34844-5_89","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}