发布求助
文献互助 智能选刊 最新文献

LILOG-Report最新文献

筛选
英文 中文
The Knowledge Representation Language L-LILOG 知识表示语言L-LILOG
LILOG-Report Pub Date : 1988-10-03 DOI: 10.1007/3-540-54594-8_69
Udo Pletat
{"title":"The Knowledge Representation Language L-LILOG","authors":"Udo Pletat","doi":"10.1007/3-540-54594-8_69","DOIUrl":"https://doi.org/10.1007/3-540-54594-8_69","url":null,"abstract":"","PeriodicalId":270232,"journal":{"name":"LILOG-Report","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124818426","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}
引用次数: 17
Textunderstanding in LILOG - Sorts and Reference Objects LILOG中的文本理解-排序和引用对象
LILOG-Report Pub Date : 1987-10-20 DOI: 10.1007/978-3-642-88719-2_21
Claus-Rainer Rollinger, R. Studer, H. Uszkoreit, I. Wachsmuth
{"title":"Textunderstanding in LILOG - Sorts and Reference Objects","authors":"Claus-Rainer Rollinger, R. Studer, H. Uszkoreit, I. Wachsmuth","doi":"10.1007/978-3-642-88719-2_21","DOIUrl":"https://doi.org/10.1007/978-3-642-88719-2_21","url":null,"abstract":"","PeriodicalId":270232,"journal":{"name":"LILOG-Report","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125206057","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}
引用次数: 7
Resolution with Feature Unification 具有特征统一的分辨率
LILOG-Report Pub Date : 1987-10-12 DOI: 10.1007/3-540-50241-6_26
Karl-Hans Bläsius, Ulrich Hedtstück
{"title":"Resolution with Feature Unification","authors":"Karl-Hans Bläsius, Ulrich Hedtstück","doi":"10.1007/3-540-50241-6_26","DOIUrl":"https://doi.org/10.1007/3-540-50241-6_26","url":null,"abstract":"","PeriodicalId":270232,"journal":{"name":"LILOG-Report","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123522751","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}
引用次数: 1
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs 整合逻辑程序的模型论与证明论解释
LILOG-Report Pub Date : 1987-03-28 DOI: 10.1007/978-3-642-83739-5_3
Udo Pletat
{"title":"Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs","authors":"Udo Pletat","doi":"10.1007/978-3-642-83739-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-83739-5_3","url":null,"abstract":"","PeriodicalId":270232,"journal":{"name":"LILOG-Report","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125807864","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}
引用次数: 0
LILOG-DB: Database Support for Knowledge-Based Systems LILOG-DB:基于知识系统的数据库支持
LILOG-Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-74571-3_15
T. Ludwig, B. Walter, Michael Ley, A. Maier, Erich Gehlen
{"title":"LILOG-DB: Database Support for Knowledge-Based Systems","authors":"T. Ludwig, B. Walter, Michael Ley, A. Maier, Erich Gehlen","doi":"10.1007/978-3-642-74571-3_15","DOIUrl":"https://doi.org/10.1007/978-3-642-74571-3_15","url":null,"abstract":"","PeriodicalId":270232,"journal":{"name":"LILOG-Report","volume":"44 1 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":"131617328","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}
引用次数: 11
At Ease with "AT" 轻松地使用“At”
LILOG-Report Pub Date : 1900-01-01 DOI: 10.1093/JOS/5.4.385
B. Wesche
{"title":"At Ease with \"AT\"","authors":"B. Wesche","doi":"10.1093/JOS/5.4.385","DOIUrl":"https://doi.org/10.1093/JOS/5.4.385","url":null,"abstract":"","PeriodicalId":270232,"journal":{"name":"LILOG-Report","volume":"10 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":"130054555","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}
引用次数: 12
Prozedurale Aspekte der Wegplanung und Wegbeschreibung 方向和方向描述
LILOG-Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-322-86251-8_5
C. Habel
{"title":"Prozedurale Aspekte der Wegplanung und Wegbeschreibung","authors":"C. Habel","doi":"10.1007/978-3-322-86251-8_5","DOIUrl":"https://doi.org/10.1007/978-3-322-86251-8_5","url":null,"abstract":"","PeriodicalId":270232,"journal":{"name":"LILOG-Report","volume":"448 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":"129497527","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}
引用次数: 50
Implementation Aspects of a Natural Language Understanding System in a PROLOG/DB Environment PROLOG/DB环境下自然语言理解系统的实现
LILOG-Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-72617-0_40
R. Studer, B. Walter
{"title":"Implementation Aspects of a Natural Language Understanding System in a PROLOG/DB Environment","authors":"R. Studer, B. Walter","doi":"10.1007/978-3-642-72617-0_40","DOIUrl":"https://doi.org/10.1007/978-3-642-72617-0_40","url":null,"abstract":"","PeriodicalId":270232,"journal":{"name":"LILOG-Report","volume":"1 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":"124954009","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}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信