Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_27
Vesna Marinković
{"title":"Prolog in Automated Reasoning in Geometry","authors":"Vesna Marinković","doi":"10.1007/978-3-031-35254-6_27","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_27","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132262153","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_9
M. Hermenegildo, J. Morales, P. López-García
{"title":"Some Thoughts on How to Teach Prolog","authors":"M. Hermenegildo, J. Morales, P. López-García","doi":"10.1007/978-3-031-35254-6_9","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_9","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133043112","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_22
Tristan Krueger, Abhijeet Mohapatra, M. Genesereth
{"title":"Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions","authors":"Tristan Krueger, Abhijeet Mohapatra, M. Genesereth","doi":"10.1007/978-3-031-35254-6_22","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_22","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"30 14","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120823668","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_16
M. Genesereth
{"title":"Dynamic Logic Programming","authors":"M. Genesereth","doi":"10.1007/978-3-031-35254-6_16","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_16","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124847080","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_3
M. Genesereth
{"title":"Prolog as a Knowledge Representation Language the Nature and Importance of Prolog","authors":"M. Genesereth","doi":"10.1007/978-3-031-35254-6_3","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_3","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132479224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_10
Laurent Cervoni, Julien Brasseur, J. Rohmer
{"title":"Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit","authors":"Laurent Cervoni, Julien Brasseur, J. Rohmer","doi":"10.1007/978-3-031-35254-6_10","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_10","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114584261","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_14
J. Morales, Salvador Abreu, Daniel Ferreiro, M. Hermenegildo
{"title":"Teaching Prolog with Active Logic Documents","authors":"J. Morales, Salvador Abreu, Daniel Ferreiro, M. Hermenegildo","doi":"10.1007/978-3-031-35254-6_14","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_14","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130333109","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_26
A. D. Palù, A. Dovier, A. Formisano, Enrico Pontelli
{"title":"Prolog Meets Biology","authors":"A. D. Palù, A. Dovier, A. Formisano, Enrico Pontelli","doi":"10.1007/978-3-031-35254-6_26","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_26","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120956691","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：