logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Jonas Haldimann

Technische Universitat Wien

7H指数
46论文数
178被引数
收录论文 6
发表时间
logo
The InfOCF Library for Reasoning With Conditional Belief Bases
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
err2026-01-01
err1
PREAI
errBeierle, Christoph; Haldimann, Jonas; Sanin, Arthur; Spang, Aron; Spiegel, Lars-Phillip; von Berg, Martin
err分享
err收藏
Towards Practicable Defeasible Reasoning for ABoxes面向ABoxes的实用可让步推理
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
err2026-01-01
err0
PREAI
errHaldimann, Jonas; Ortiz, Magdalena; Simkus, Mantas
err分享
err收藏
Conditional Syntax and Semantic Splittings of Strongly and Weakly Consistent Belief Bases强一致性和弱一致性信念库的条件句法与语义分割
errEUROPEAN JOURNAL ON ARTIFICIAL INTELLIGENCE
IF0
err2026-01-01
err1
PREAI
errBeierle, Christoph; Spiegel, Lars-Phillip; Haldimann, Jonas; Wilhelm, Marco; Heyninck, Jesse; Kern-Isberner, Gabriele
err分享
err收藏
Inductive inference from weakly consistent belief bases从弱一致信念库的归纳推理
errKNOWLEDGE ENGINEERING REVIEW
IF2
err2025-12-03
err0
errOAAI
errHaldimann, Jonas Philipp; Beierle, Christoph; Kern-Isberner, Gabriele
err分享
err收藏
SPO-Representable Inductive Inference Operators Extending Rational Closure可表示为SPO的归纳推理算子扩展有理闭包
errEUROPEAN JOURNAL ON ARTIFICIAL INTELLIGENCE
IF0
err2025-12-01
err0
PREAI
errHaldimann, Jonas; Meyer, Thomas; Kern-Isberner, Gabriele; Beierle, Christoph
err分享
err收藏
Approximations of system W for inference from strongly and weakly consistent belief bases
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2024-12-01
err0
errOAAI
errHaldimann, Jonas; Beierle, Christoph
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
T
Thomas Meyer
H 指数: 26 · 论文数: 444
G
Gabriele Kern-Isberner
H 指数: 25 · 论文数: 370
M
Magdalena Ortiz
H 指数: 21 · 论文数: 120
M
Mantas Šimkus
H 指数: 20 · 论文数: 115
C
Christoph Beierle
H 指数: 18 · 论文数: 331
查看更多