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

KI - Künstliche Intelligenz最新文献

筛选
英文 中文
Lifting in Support of Privacy-Preserving Probabilistic Inference 提升支持隐私保护概率推理
KI - Künstliche Intelligenz Pub Date : 2024-06-13 DOI: 10.1007/s13218-024-00851-y
M. Gehrke, Johannes Liebenow, Esfandiar Mohammadi, Tanya Braun
{"title":"Lifting in Support of Privacy-Preserving Probabilistic Inference","authors":"M. Gehrke, Johannes Liebenow, Esfandiar Mohammadi, Tanya Braun","doi":"10.1007/s13218-024-00851-y","DOIUrl":"https://doi.org/10.1007/s13218-024-00851-y","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":"52 16","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141346879","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
Partial Image Active Annotation (PIAA): An Efficient Active Learning Technique Using Edge Information in Limited Data Scenarios 部分图像主动注释（PIAA）：在数据有限的情况下使用边缘信息的高效主动学习技术
KI - Künstliche Intelligenz Pub Date : 2024-06-12 DOI: 10.1007/s13218-024-00849-6
Md Abdul Kadir, Hasan Md Tusfiqur Alam, Devansh Srivastav, H. Profitlich, Daniel Sonntag
{"title":"Partial Image Active Annotation (PIAA): An Efficient Active Learning Technique Using Edge Information in Limited Data Scenarios","authors":"Md Abdul Kadir, Hasan Md Tusfiqur Alam, Devansh Srivastav, H. Profitlich, Daniel Sonntag","doi":"10.1007/s13218-024-00849-6","DOIUrl":"https://doi.org/10.1007/s13218-024-00849-6","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":"18 10","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141350656","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
Modeling $$mathscr {C}^{0}$$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals 为人工智能建模 $$mathscr {C}^{0}$ 系列逻辑：用于目标推理的时态逻辑
KI - Künstliche Intelligenz Pub Date : 2024-05-24 DOI: 10.1007/s13218-024-00848-7
James T. Oswald, Brandon Rozek, Thomas M. Ferguson
{"title":"Modeling $$mathscr {C}^{0}$$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals","authors":"James T. Oswald, Brandon Rozek, Thomas M. Ferguson","doi":"10.1007/s13218-024-00848-7","DOIUrl":"https://doi.org/10.1007/s13218-024-00848-7","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":"3 12","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141099805","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
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning Spectra：基于自动推理的 STRIPS 启发型人工智能规划器
KI - Künstliche Intelligenz Pub Date : 2024-05-22 DOI: 10.1007/s13218-024-00847-8
Brandon Rozek, S. Bringsjord
{"title":"Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning","authors":"Brandon Rozek, S. Bringsjord","doi":"10.1007/s13218-024-00847-8","DOIUrl":"https://doi.org/10.1007/s13218-024-00847-8","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":"41 9","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141110888","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
Project VoLL-KI 项目 VoLL-KI
KI - Künstliche Intelligenz Pub Date : 2024-05-05 DOI: 10.1007/s13218-024-00846-9
Michael Kohlhase, Marc Berges, Jens Grubert, Andreas Henrich, Dieter Landes, Jochen L. Leidner, Florian Mittag, Daniela Nicklas, Ute Schmid, Yvonne Sedlmaier, Achim Ulbrich-vom Ende, Diedrich Wolter
{"title":"Project VoLL-KI","authors":"Michael Kohlhase, Marc Berges, Jens Grubert, Andreas Henrich, Dieter Landes, Jochen L. Leidner, Florian Mittag, Daniela Nicklas, Ute Schmid, Yvonne Sedlmaier, Achim Ulbrich-vom Ende, Diedrich Wolter","doi":"10.1007/s13218-024-00846-9","DOIUrl":"https://doi.org/10.1007/s13218-024-00846-9","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":"243 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141012987","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
CLKR: Conditional Logic and Knowledge Representation CLKR： 条件逻辑和知识表示法
KI - Künstliche Intelligenz Pub Date : 2024-05-03 DOI: 10.1007/s13218-024-00842-z
C. Beierle, J. Haldimann, Leon Schwarzer
{"title":"CLKR: Conditional Logic and Knowledge Representation","authors":"C. Beierle, J. Haldimann, Leon Schwarzer","doi":"10.1007/s13218-024-00842-z","DOIUrl":"https://doi.org/10.1007/s13218-024-00842-z","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":"7 7","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141014980","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
Automated Computation of Therapies Using Failure Mode and Effects Analysis in the Medical Domain 在医学领域利用失效模式与效应分析自动计算治疗方法
KI - Künstliche Intelligenz Pub Date : 2024-04-18 DOI: 10.1007/s13218-023-00810-z
Malte Luttermann, Edgar Baake, J. Bouchagiar, Benjamin Gebel, Philipp Grüning, Dilini Manikwadura, Franziska Schollemann, Elisa Teifke, Philipp Rostalski, Ralf Möller
{"title":"Automated Computation of Therapies Using Failure Mode and Effects Analysis in the Medical Domain","authors":"Malte Luttermann, Edgar Baake, J. Bouchagiar, Benjamin Gebel, Philipp Grüning, Dilini Manikwadura, Franziska Schollemann, Elisa Teifke, Philipp Rostalski, Ralf Möller","doi":"10.1007/s13218-023-00810-z","DOIUrl":"https://doi.org/10.1007/s13218-023-00810-z","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":" 48","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140689448","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
AI in Current and Future Agriculture: An Introductory Overview 当前和未来农业中的人工智能：介绍性概述
KI - Künstliche Intelligenz Pub Date : 2024-04-17 DOI: 10.1007/s13218-023-00826-5
Benjamin Kisliuk, Jan Christoph Krause, Hendrik Meemken, Juan Carlos Saborío Morales, Henning Müller, Joachim Hertzberg
{"title":"AI in Current and Future Agriculture: An Introductory Overview","authors":"Benjamin Kisliuk, Jan Christoph Krause, Hendrik Meemken, Juan Carlos Saborío Morales, Henning Müller, Joachim Hertzberg","doi":"10.1007/s13218-023-00826-5","DOIUrl":"https://doi.org/10.1007/s13218-023-00826-5","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":" 31","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140691845","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
Learning Normative Behaviour Through Automated Theorem Proving 通过自动定理证明学习规范行为
KI - Künstliche Intelligenz Pub Date : 2024-04-16 DOI: 10.1007/s13218-024-00844-x
Emery A. Neufeld
{"title":"Learning Normative Behaviour Through Automated Theorem Proving","authors":"Emery A. Neufeld","doi":"10.1007/s13218-024-00844-x","DOIUrl":"https://doi.org/10.1007/s13218-024-00844-x","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":"8 12","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140697939","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
Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract 建立随机计算的逻辑基础博士论文摘要
KI - Künstliche Intelligenz Pub Date : 2024-04-16 DOI: 10.1007/s13218-024-00843-y
Melissa Antonelli
{"title":"Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract","authors":"Melissa Antonelli","doi":"10.1007/s13218-024-00843-y","DOIUrl":"https://doi.org/10.1007/s13218-024-00843-y","url":null,"abstract":"","PeriodicalId":192555,"journal":{"name":"KI - Künstliche Intelligenz","volume":"9 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140695763","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书