Christoph Beierle - Publications, H-index & Citations

Christoph Beierle

fern university hagen

18H指数

331论文数

1.7K被引数

收录论文 17

发表时间

The InfOCF Library for Reasoning With Conditional Belief Bases

LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II

IF0

2026-01-01

PREAI

Beierle, Christoph; Haldimann, Jonas; Sanin, Arthur; Spang, Aron; Spiegel, Lars-Phillip; von Berg, Martin

Conditional Syntax and Semantic Splittings of Strongly and Weakly Consistent Belief Bases 强一致性和弱一致性信念库的条件句法与语义分割

EUROPEAN JOURNAL ON ARTIFICIAL INTELLIGENCE

IF0

2026-01-01

PREAI

Beierle, Christoph; Spiegel, Lars-Phillip; Haldimann, Jonas; Wilhelm, Marco; Heyninck, Jesse; Kern-Isberner, Gabriele

Inductive inference from weakly consistent belief bases 从弱一致信念库的归纳推理

KNOWLEDGE ENGINEERING REVIEW

IF2

2025-12-03

OAAI

Haldimann, Jonas Philipp; Beierle, Christoph; Kern-Isberner, Gabriele

SPO-Representable Inductive Inference Operators Extending Rational Closure 可表示为SPO的归纳推理算子扩展有理闭包

EUROPEAN JOURNAL ON ARTIFICIAL INTELLIGENCE

IF0

2025-12-01

PREAI

Haldimann, Jonas; Meyer, Thomas; Kern-Isberner, Gabriele; Beierle, Christoph

Sequential merging and construction of rankings as cognitive logic

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2025-01-01

OAAI

Sauerwald, Kai; Ismail-Tsaous, Eda; Ragni, Marco; Kern-Isberner, Gabriele; Beierle, Christoph

Approximations of system W for inference from strongly and weakly consistent belief bases

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2024-12-01

OAAI

Haldimann, Jonas; Beierle, Christoph

An implementation of nonmonotonic reasoning with c-representations using an SMT solver

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2024-12-01

OAAI

von Berg, Martin; Sanin, Arthur; Beierle, Christoph

Formal and cognitive reasoning

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2024-11-01

PREAI

Beierle, Christoph; Ragni, Marco; Sauerwald, Kai; Stolzenburg, Frieder; Thimm, Matthias

A kinematics principle for iterated revision

artificial intelligence review

IF4.6

2023-01-01

PREAI

Kern-Isberner, Gabriele; Sezgin, Meliha; Beierle, Christoph

Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models

artificial intelligence review

IF4.6

2021-08-01

PREAI

Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven

Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2021-03-01

PREAI

Kutsch, Steven; Beierle, Christoph

Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents

APPLIED INTELLIGENCE

IF3.5

2018-06-23

PREAI

Beierle, Christoph; Kutsch, Steven

System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases 系统ZFO: 一元一阶条件知识库的系统Z类排名函数的默认推理

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2017-11-01

OAAI

Beierle, Christoph; Falke, Tobias; Kutsch, Steven; Kern-Isberner, Gabriele

Management of uncertainty in Artificial Intelligence and databases

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2017-07-01

OAAI

Beierle, Christoph

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2009-11-01

OAAI

Beierle, Christoph; Kern-Isberner, Gabriele

KNOWLEDGE REPRESENTATION FOR NATURAL-LANGUAGE UNDERSTANDING - THE L(LILOG) APPROACH

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

1993-06-01

PREAI

BEIERLE, C; PLETAT, U; STUDER, R

AN ORDER-SORTED LOGIC FOR KNOWLEDGE REPRESENTATION SYSTEMS

artificial intelligence review

IF4.6

1992-06-01

PREAI

BEIERLE, C; HEDTSTUCK, U; PLETAT, U; SCHMITT, PH; SIEKMANN, J

研究方向