{"id":"https://openalex.org/W1482261186","doi":"https://doi.org/10.1007/978-3-642-02614-0_27","title":"Canonical Forms in Interactive Exercise Assistants","display_name":"Canonical Forms in Interactive Exercise Assistants","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1482261186","doi":"https://doi.org/10.1007/978-3-642-02614-0_27","mag":"1482261186"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-02614-0_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-02614-0_27","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040746546","display_name":"Bastiaan Heeren","orcid":"https://orcid.org/0000-0001-6647-6130"},"institutions":[{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Bastiaan Heeren","raw_affiliation_strings":["School of Computer Science, Open Universiteit Nederland, P.O. Box 2960, 6401 DL, Heerlen, The Netherlands","School of Computer Science, Open Universiteit Nederland, Heerlen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Open Universiteit Nederland, P.O. Box 2960, 6401 DL, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"School of Computer Science, Open Universiteit Nederland, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011892251","display_name":"Johan Jeuring","orcid":"https://orcid.org/0000-0001-5645-7681"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Johan Jeuring","raw_affiliation_strings":["Department of Information and Computing Sciences, Universiteit Utrecht, Netherlands","School of Computer Science, Open Universiteit Nederland, P.O. Box 2960, 6401 DL, Heerlen, The Netherlands","School of Computer Science, Open Universiteit Nederland, Heerlen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Information and Computing Sciences, Universiteit Utrecht, Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"School of Computer Science, Open Universiteit Nederland, P.O. Box 2960, 6401 DL, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"School of Computer Science, Open Universiteit Nederland, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040746546"],"corresponding_institution_ids":["https://openalex.org/I7876267"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.7313,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.84916785,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"325","last_page":"340"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.968500018119812,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9679999947547913,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7793195247650146},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6140342354774475},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.611552357673645},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.47070690989494324},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4606471359729767},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.42734000086784363},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4179909825325012},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3511982858181},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34223055839538574},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26554426550865173},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.11474356055259705},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10646727681159973},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.0757322609424591}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7793195247650146},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6140342354774475},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.611552357673645},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.47070690989494324},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4606471359729767},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.42734000086784363},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4179909825325012},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3511982858181},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34223055839538574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26554426550865173},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.11474356055259705},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10646727681159973},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0757322609424591}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-02614-0_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-02614-0_27","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.216.8906","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.8906","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-011.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.510.1242","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.510.1242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.open.ou.nl/bhr/CanonicalForms.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.8600000143051147,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W48205031","https://openalex.org/W109360193","https://openalex.org/W359400348","https://openalex.org/W611235695","https://openalex.org/W1492683082","https://openalex.org/W1503012980","https://openalex.org/W1556536463","https://openalex.org/W1583295953","https://openalex.org/W1600415698","https://openalex.org/W2041037071","https://openalex.org/W2102311747","https://openalex.org/W2113431347","https://openalex.org/W2114980032","https://openalex.org/W2138777938","https://openalex.org/W2148944677","https://openalex.org/W2591389664","https://openalex.org/W2799416876","https://openalex.org/W4230919050","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2931688134","https://openalex.org/W2982040729","https://openalex.org/W2152427696","https://openalex.org/W4251067621","https://openalex.org/W2094344997","https://openalex.org/W2499765358","https://openalex.org/W2109925752","https://openalex.org/W2166690231","https://openalex.org/W2349728712","https://openalex.org/W2950637221"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}