logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Jonas Haldimann

Technische Universitat Wien

7H-index
46Paper Count
178Citation Count
Published Papers 6
Publication Date
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
errShare
errSave
Towards Practicable Defeasible Reasoning for ABoxes
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
err2026-01-01
err0
PREAI
errHaldimann, Jonas; Ortiz, Magdalena; Simkus, Mantas
errShare
errSave
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
errShare
errSave
Inductive inference from weakly consistent belief bases
errKNOWLEDGE ENGINEERING REVIEW
IF2
err2025-12-03
err0
errOAAI
errHaldimann, Jonas Philipp; Beierle, Christoph; Kern-Isberner, Gabriele
errShare
errSave
SPO-Representable Inductive Inference Operators Extending Rational Closure
errEUROPEAN JOURNAL ON ARTIFICIAL INTELLIGENCE
IF0
err2025-12-01
err0
PREAI
errHaldimann, Jonas; Meyer, Thomas; Kern-Isberner, Gabriele; Beierle, Christoph
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
T
Thomas Meyer
H-index: 26 · Papers: 444
G
Gabriele Kern-Isberner
H-index: 25 · Papers: 370
M
Magdalena Ortiz
H-index: 21 · Papers: 120
M
Mantas Šimkus
H-index: 20 · Papers: 115
C
Christoph Beierle
H-index: 18 · Papers: 331
View more