{"title":"便携式人工智能教学实验室","authors":"Michael Rosner, Fabio Baj","doi":"10.1016/0167-9287(93)90451-6","DOIUrl":null,"url":null,"abstract":"<div><p>The Portable AI Lab is a joint research project concerned with the design and implementation of an integrated environment to support teaching of Artificial Intelligence at University level. The system is composed of several modules implementing basic. AI techniques in a uniform way. The final section of the paper focuses primarily on the modules dealing with Automated Theorem Proving (ATP) and Natural Language Processing, and shows how relationships between the two might typically be explored within the system.</p></div>","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"8 4","pages":"Pages 347-355"},"PeriodicalIF":0.0000,"publicationDate":"1993-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-9287(93)90451-6","citationCount":"4","resultStr":"{\"title\":\"Portable AI lab for teaching artificial intelligence\",\"authors\":\"Michael Rosner, Fabio Baj\",\"doi\":\"10.1016/0167-9287(93)90451-6\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>The Portable AI Lab is a joint research project concerned with the design and implementation of an integrated environment to support teaching of Artificial Intelligence at University level. The system is composed of several modules implementing basic. AI techniques in a uniform way. The final section of the paper focuses primarily on the modules dealing with Automated Theorem Proving (ATP) and Natural Language Processing, and shows how relationships between the two might typically be explored within the system.</p></div>\",\"PeriodicalId\":100393,\"journal\":{\"name\":\"Education and Computing\",\"volume\":\"8 4\",\"pages\":\"Pages 347-355\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/0167-9287(93)90451-6\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Education and Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/0167928793904516\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Education and Computing","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0167928793904516","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Portable AI lab for teaching artificial intelligence
The Portable AI Lab is a joint research project concerned with the design and implementation of an integrated environment to support teaching of Artificial Intelligence at University level. The system is composed of several modules implementing basic. AI techniques in a uniform way. The final section of the paper focuses primarily on the modules dealing with Automated Theorem Proving (ATP) and Natural Language Processing, and shows how relationships between the two might typically be explored within the system.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
