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

Austrian Conference on Artificial Intelligence最新文献

筛选
英文 中文
Begriffsdefinitionen und Referenzidentifikation definiter Beschreibungen: Neues aus der Beziehungskiste 理解定义和引用描述:新词定义:关系描述
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_33
Manfred Gehrke
{"title":"Begriffsdefinitionen und Referenzidentifikation definiter Beschreibungen: Neues aus der Beziehungskiste","authors":"Manfred Gehrke","doi":"10.1007/978-3-642-74688-8_33","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_33","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125218331","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
Reflections upon Turing's Analysis of the Process of Computation and its Relation to AI 图灵对计算过程的分析及其与人工智能的关系的思考
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_49
R. Born
{"title":"Reflections upon Turing's Analysis of the Process of Computation and its Relation to AI","authors":"R. Born","doi":"10.1007/978-3-642-74688-8_49","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_49","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"9 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120844300","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
Ein Erfahrungsbericht zur Strukturierung medizinischen Wissens in VIE-MED, einem Expertensystem für den Bereich der ärztlichen Primärversorgung 这是一份关于在生物医学领域培养医学知识的进度报告。这是一个医疗初级保健专家系统
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_5
P. Petta, W. Horn, K. Schießer
{"title":"Ein Erfahrungsbericht zur Strukturierung medizinischen Wissens in VIE-MED, einem Expertensystem für den Bereich der ärztlichen Primärversorgung","authors":"P. Petta, W. Horn, K. Schießer","doi":"10.1007/978-3-642-74688-8_5","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_5","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125546132","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
Equational Theorem Proving and Rewrite Rule Systems 等式定理证明与改写规则系统
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_3
F. Winkler
{"title":"Equational Theorem Proving and Rewrite Rule Systems","authors":"F. Winkler","doi":"10.1007/978-3-642-74688-8_3","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_3","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115530022","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
Convex Relations between Time Intervalls 时间间隔间的凸关系
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_37
K. Nökel
{"title":"Convex Relations between Time Intervalls","authors":"K. Nökel","doi":"10.1007/978-3-642-74688-8_37","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_37","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128663586","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}
引用次数: 33
Ein System zur fallbasierten Wissensverarbeitung in technischen Diagnosesituationen 是一种能量法
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_7
K. Althoff, S. Kockskämper, F. Maurer, M. Stadler, Stefan Wess
{"title":"Ein System zur fallbasierten Wissensverarbeitung in technischen Diagnosesituationen","authors":"K. Althoff, S. Kockskämper, F. Maurer, M. Stadler, Stefan Wess","doi":"10.1007/978-3-642-74688-8_7","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_7","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129917536","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}
引用次数: 15
Künstliche Intelligenz und Gödel-Theoreme 人工智能和神像定理
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_48
G. Frey
{"title":"Künstliche Intelligenz und Gödel-Theoreme","authors":"G. Frey","doi":"10.1007/978-3-642-74688-8_48","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_48","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"492 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132898255","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
Extending Explanation-Based Generalization 扩展基于解释的泛化
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_17
B. Pfahringer
{"title":"Extending Explanation-Based Generalization","authors":"B. Pfahringer","doi":"10.1007/978-3-642-74688-8_17","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_17","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114422476","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
Das Blackboard-System BASAR 黑警集市
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_8
Klemens Waldhör
{"title":"Das Blackboard-System BASAR","authors":"Klemens Waldhör","doi":"10.1007/978-3-642-74688-8_8","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_8","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116852436","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
Situations, Topoi, and Dispositions: On the Phenomenological Modelling of Meaning 情境、拓扑与倾向:论意义的现象学模型
Austrian Conference on Artificial Intelligence Pub Date : 1989-09-28 DOI: 10.1007/978-3-642-74688-8_45
B. Rieger, C. Thiopoulos
{"title":"Situations, Topoi, and Dispositions: On the Phenomenological Modelling of Meaning","authors":"B. Rieger, C. Thiopoulos","doi":"10.1007/978-3-642-74688-8_45","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_45","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129857301","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术官方微信