{"id":"https://openalex.org/W792348843","doi":"https://doi.org/10.1007/978-0-387-34844-5_89","title":"Logic programming: a tool for development of educational systems","display_name":"Logic programming: a tool for development of educational systems","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W792348843","doi":"https://doi.org/10.1007/978-0-387-34844-5_89","mag":"792348843"},"language":"en","primary_location":{"id":"doi:10.1007/978-0-387-34844-5_89","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-0-387-34844-5_89","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-0-387-34844-5_89.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"World Conference on Computers in Education VI","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007/978-0-387-34844-5_89.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047957973","display_name":"Richard J. Allen","orcid":"https://orcid.org/0000-0002-1887-3016"},"institutions":[{"id":"https://openalex.org/I24861097","display_name":"St. Olaf College","ror":"https://ror.org/01q7w1f47","country_code":"US","type":"education","lineage":["https://openalex.org/I24861097"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Richard J. Allen","raw_affiliation_strings":["St. Olaf College, Northfield, Maryland, USA","St. Olaf college, Northfield, USA"],"affiliations":[{"raw_affiliation_string":"St. Olaf College, Northfield, Maryland, USA","institution_ids":["https://openalex.org/I24861097"]},{"raw_affiliation_string":"St. Olaf college, Northfield, USA","institution_ids":["https://openalex.org/I24861097"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069101596","display_name":"Laurent Trilling","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136308","display_name":"Translational Innovation in Medicine and Complexity","ror":"https://ror.org/03985kf35","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210095849","https://openalex.org/I4210104684","https://openalex.org/I4210136308","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Trilling","raw_affiliation_strings":["IMAG-LGI, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"IMAG-LGI, Grenoble, France","institution_ids":["https://openalex.org/I4210136308"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047957973"],"corresponding_institution_ids":["https://openalex.org/I24861097"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09503826,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"953","last_page":"962"},"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.9976000189781189,"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.9976000189781189,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9825000166893005,"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/declarative-programming","display_name":"Declarative programming","score":0.6671487092971802},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6366584897041321},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6360177993774414},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5881590843200684},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.5827741622924805},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5761223435401917},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5711352825164795},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.5093365907669067},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3539350628852844},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.34365659952163696},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26904699206352234}],"concepts":[{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.6671487092971802},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6366584897041321},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6360177993774414},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5881590843200684},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5827741622924805},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5761223435401917},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5711352825164795},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.5093365907669067},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3539350628852844},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.34365659952163696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26904699206352234},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-0-387-34844-5_89","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-0-387-34844-5_89","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-0-387-34844-5_89.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"World Conference on Computers in Education VI","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-0-387-34844-5_89","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-0-387-34844-5_89","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-0-387-34844-5_89.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"World Conference on Computers in Education VI","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.75,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W792348843.pdf","grobid_xml":"https://content.openalex.org/works/W792348843.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W132533262","https://openalex.org/W155661758","https://openalex.org/W1518355145","https://openalex.org/W1605976683","https://openalex.org/W1865016462","https://openalex.org/W2026253506","https://openalex.org/W2035855976","https://openalex.org/W2084202433","https://openalex.org/W6632057212"],"related_works":["https://openalex.org/W2553706208","https://openalex.org/W648195185","https://openalex.org/W2348463574","https://openalex.org/W2106957639","https://openalex.org/W1505955281","https://openalex.org/W2951371264","https://openalex.org/W2542995117","https://openalex.org/W1977834309","https://openalex.org/W2535967376","https://openalex.org/W4248411942"],"abstract_inverted_index":{"An":[0],"intelligent":[1],"system":[2,9,28,91,130],"for":[3,131],"exploring":[4],"geometry":[5,134],"is":[6,58,112,115],"described.":[7,113],"This":[8],"utilizes":[10],"a":[11,35,61,87,128,137],"declarative":[12,62,141],"approach":[13],"to":[14,45,148],"geometric":[15,18,47,142],"programming":[16,120,139],"wherein":[17],"objects":[19],"and":[20,41,103,126,135,150],"properties":[21,48],"are":[22,65],"specified":[23,32],"using":[24,60],"logical":[25,101],"specifications.":[26],"The":[27,90,109],"automatically":[29],"draws":[30],"the":[31,43,56,74,81,96,100,104],"figures":[33],"from":[34],"set":[36,105],"of":[37,106,146],"designated":[38],"base":[39,53,107],"points":[40,68],"allows":[42],"user":[44,97],"explore":[46],"by":[49],"dragging":[50],"on":[51],"these":[52],"points.":[54,108],"Since":[55],"figure":[57,75,82],"constructed":[59,85],"approach,":[63],"there":[64,77],"normally":[66],"more":[67],"with":[69,86],"which":[70,95],"you":[71],"can":[72],"drag":[73],"than":[76],"would":[78],"be":[79],"if":[80],"had":[83],"been":[84,122],"procedural":[88],"system.":[89,154],"has":[92,121],"two":[93],"parameters":[94],"must":[98],"provide:":[99],"specification":[102],"system,":[110],"G\u00e9oSp\u00e9cif":[111],"It":[114],"also":[116],"shown":[117],"how":[118,136],"logic":[119],"useful":[123],"in":[124],"defining":[125],"implementing":[127],"dynamic":[129],"secondary":[132],"school":[133],"new":[138],"construct,":[140],"programming,":[143],"grew":[144],"out":[145],"efforts":[147],"design":[149],"build":[151],"an":[152],"educational":[153]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}