( en | de | ru )

 

Disambiguation of "Beierle, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Normal Forms of Conditional Belief Bases Respecting Inductive Inference.

, and . FLAIRS, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Beierle

Christoph Beierle

Eva Beierle

Ben Beierle

Jörg Beierle

 

Other publications of authors with the same name

Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions., , and . GI-Jahrestagung, volume P-208 of LNI, page 205-224. GI, (2012)On the computation of ranking functions for default rules - A challenge for constraint programming., and . GI-Jahrestagung, volume P-192 of LNI, page 249. GI, (2011)Methoden wissensbasierter Systeme : Grundlagen, Algorithmen, Anwendungen, and . Viewg, Braunschweig u.a., 3., überarb. u. erw. Aufl. edition, (2006)Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen, and . Computational Intelligence Springer Vieweg, Wiesbaden, 5 edition, (2014)Normal Forms of Conditional Belief Bases Respecting Inductive Inference., and . FLAIRS, (2022)Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks., , , and . FLAIRS, page 494-499. AAAI Press, (2019)Inference with System W Satisfies Syntax Splitting., and . KR, (2022)A Brief Introduction Into Activation-Based Conditional Inference., , , , and . FCR@KI, volume 2961 of CEUR Workshop Proceedings, page 4-8. CEUR-WS.org, (2021)Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds., and . KI, volume 12325 of Lecture Notes in Computer Science, page 102-115. Springer, (2020)Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras., and . ADT, University of Dortmund, (1982)