{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:56Z","timestamp":1725663536431},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556060"},{"type":"electronic","value":"9783540472544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55606-0_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:24:23Z","timestamp":1330251863000},"page":"325-334","source":"Crossref","is-referenced-by-count":1,"title":["Tuteurs Intelligents et Intelligence Artificielle: probl\u00e8mes pos\u00e9s en construction de figures g\u00e9om\u00e9triques"],"prefix":"10.1007","author":[{"given":"Richard","family":"Allen","sequence":"first","affiliation":[]},{"given":"Cyrille","family":"Desmoulins","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Trilling","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"40_CR1","doi-asserted-by":"crossref","unstructured":"Aida, H., Tanoka, H., Moto-Oka, T., \u201cA Prolog Extension for Handling Negative Knowledege\u201d, New Generation Computing, n\u22181, Springer Verlag, 1983.","DOI":"10.1007\/BF03037025"},{"key":"40_CR2","unstructured":"Ackerman, W., Solvable cases of the Decision Problem, North Holland, 1984."},{"key":"40_CR3","unstructured":"Allen, R., Nicolas, O., Trilling, L., \u201cSur la correction d'une figure dans un syst\u00e8me d'EIAO pour la g\u00e9om\u00e9trie\u201d, Actes des Journ\u00e9es EIAO, PRC Intelligence Artificielle, Cachan, d\u00e9cembre 1989."},{"key":"40_CR4","unstructured":"Allen, R., Nicolas, P., Trilling, L., \u201cFigure Correctness in an Expert System for teaching Geometry\u201d, Proceedings of the eight biennal conference of the Canadian society for computational studies of intelligence, Ottawa, May 22\u201325, 1990, pp. 154\u2013160."},{"key":"40_CR5","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1987","unstructured":"Apt, K.R., Blair, H., Walker, A., \u201cTowards a theory of declarative knowledge\u201d, J of ACM, 29, 1987, pp. 841\u2013862.","journal-title":"J of ACM"},{"key":"40_CR6","unstructured":"Baulac, Y., Un micromonde de g\u00e9om\u00e9trie, Cabri-g\u00e9om\u00e8tre, Th\u00e8se de l'universit\u00e9 Joseph Fourier Grenoble 1990."},{"key":"40_CR7","first-page":"291","volume":"3","author":"S. C. Chou","year":"1987","unstructured":"Chou, S.C., \u201cA Method for the Mechanical Derivation of Formulas in Elementary Geometry\u201d, Journal of Automated Reasoning, vol. 3, 1987, pp. 291\u2013299","journal-title":"Journal of Automated Reasoning"},{"key":"40_CR8","unstructured":"Desmoulins, C., Trilling, L., \u201cTranslation of a figure specification into a logical formula in a system for teaching geometry\u201d, Proceedings of the Sixth International PEG Conference, Rapallo, Italy, 1991, pp.292\u2013303."},{"key":"40_CR9","unstructured":"Fauvergue, P., Math\u00e9matiques 4e, Editions CASTEILLA, 1988."},{"key":"40_CR10","first-page":"65","volume":"17","author":"R. Gras","year":"1988","unstructured":"Gras R., \u201cAide logicielle aux probl\u00e8mes de d\u00e9monstration g\u00e9om\u00e9trique dans l'enseignement secondaire\u201d, Petit X, 17, Grenoble, 1988, pp. 65\u201383.","journal-title":"Petit X"},{"key":"40_CR11","volume-title":"Logiques non monotones et intelligence artificielle","author":"E. Gr\u00e9goire","year":"1990","unstructured":"Gr\u00e9goire, E., Logiques non monotones et intelligence artificielle, Herm\u00e8s, paris, 1990."},{"key":"40_CR12","volume-title":"Logic for Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R., Logic for Problem Solving, North-Holland, New York, 1979."},{"key":"40_CR13","unstructured":"Laborde, J.-M. Trilling, L., \u201cConception et r\u00e9alisation d'un syst\u00e8me intelligent d'apprentissage de la g\u00e9om\u00e9trie\u201d, Pr\u00e9sentation de projet LSDD-IMAG, Grenoble, 1989."},{"key":"40_CR14","unstructured":"Leasimbe, \u201cInterfaces non-classiques en Intelligence Arificielle\u201d, Journ\u00e9es PRC IA, Toulouse 1988."},{"key":"40_CR15","volume-title":"Projet de DEA d'Informatique","author":"S. Leman","year":"1991","unstructured":"Leman, S., Construction et correction d'une formule logique associ\u00e9e \u00e0 figure g\u00e9om\u00e9trique Cabri, Projet de DEA d'Informatique, IMAG-LGI, Grenoble, 1991."},{"key":"40_CR16","unstructured":"Le Nestour, A., Rouxel, R., rapport de stage C.R.E.F.F.I.B., Rennes, 1984."},{"key":"40_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J., \u201cCircumscription: a form of non-monotonic reasoning\u201d, Artificial Intelligence, 13, 1980, pp. 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"40_CR18","unstructured":"Py, D., \u201cMPENTONIEZH, an I.T.S in Geometry\u201d, Proceedings of the 4th International Conference on AI and Education, Amsterdam, 1989, pp. 202\u2013209."},{"key":"40_CR19","unstructured":"Py, D., Reconnaissance de plan pour l'aide \u00e0 la d\u00e9monstration dans un tuteur intelligent de la g\u00e9om\u00e9trie, Th\u00e8se de l'universit\u00e9 de Rennes, 1990."},{"key":"40_CR20","unstructured":"Thaysse, A., et al., Approche logique de l'intelligence artificielle, Dunod, 1989."}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55606-0_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:35Z","timestamp":1605646835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55606-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556060","9783540472544"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-55606-0_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}