×

zbMATH — the first resource for mathematics

Beierle, Christoph

Compute Distance To:
Author ID: beierle.christoph Recent zbMATH articles by "Beierle, Christoph"
Published as: Beierle, C.; Beierle, Ch.; Beierle, Christoph
Documents Indexed: 64 Publications since 1985, including 9 Books

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 55 times in 31 Documents Cited by Year
An order-sorted logic for knowledge representation systems. Zbl 0768.68196
Beierle, C.; Hedtstück, U.; Pletat, U.; Schmitt, P. H.; Siekmann, J.
11
1992
Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem. Zbl 06582814
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele
4
2016
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Zbl 1448.68397
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven
3
2018
Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions. Zbl 1403.68253
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven
3
2016
Semantical investigations into nonmonotonic and probabilistic logics. Zbl 1280.68245
Beierle, Christoph; Kern-Isberner, Gabriele
3
2012
How to exploit parametric uniformity for maximum entropy reasoning in a relational probabilistic logic. Zbl 1361.68226
Finthammer, Marc; Beierle, Christoph
3
2012
Comparison of inference relations defined over different sets of ranking functions. Zbl 06769601
Beierle, Christoph; Kutsch, Steven
2
2017
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. Zbl 1401.68326
Potyka, Nico; Beierle, Christoph; Kern-Isberner, Gabriele
2
2015
Looking at probabilistic conditionals from an institutional point of view. Zbl 1111.03022
Beierle, Christoph; Kern-Isberner, Gabriele
2
2005
Using institutions for the study of qualitative and quantitative conditional logics. Zbl 1013.03018
Beierle, Christoph; Kern-Isberner, Gabriele
2
2002
Refinement of a typed WAM extension by polymorphic order-sorted types. Zbl 0876.68019
Beierle, Christoph; Börger, Egon
2
1996
Specification and correctness proof of a WAM extension with abstract type constraints. Zbl 0857.68016
Beierle, Christoph; Börger, Egon
2
1996
Run-time computations in the Warren abstract machine. Zbl 0795.68034
Beierle, Christoph; Meyer, Gregor
2
1994
A generalized iterative scaling algorithm for maximum entropy model computations respecting probabilistic independencies. Zbl 06894610
Wilhelm, Marco; Kern-Isberner, Gabriele; Finthammer, Marc; Beierle, Christoph
1
2018
Compilation of conditional knowledge bases for computing C-inference relations. Zbl 06894592
Beierle, Christoph; Kutsch, Steven; Sauerwald, Kai
1
2018
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Zbl 1420.68203
Kern-Isberner, Gabriele; Wilhelm, Marco; Beierle, Christoph
1
2017
Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics. Zbl 1319.68209
Beierle, Christoph; Krämer, Annika
1
2015
A system Z-like approach for first-order default reasoning. Zbl 1432.68444
Kern-Isberner, Gabriele; Beierle, Christoph
1
2015
On the problem of reversing relational inductive knowledge representation. Zbl 1390.68625
Potyka, Nico; Beierle, Christoph; Kern-Isberner, Gabriele
1
2013
Formal similarities and differences among qualitative conditional semantics. Zbl 1191.68672
Beierle, Christoph; Kern-Isberner, Gabriele
1
2009
A logical study on qualitative default reasoning with probabilities. Zbl 1273.03076
Beierle, Christoph; Kern-Isberner, Gabriele
1
2003
Modelling conditional knowledge discovery and belief revision by abstract state machines. Zbl 1021.68529
Beierle, Christoph; Kern-Isberner, Gabriele
1
2003
Concepts, implementation, and applications of a typed logic programming languange. Zbl 0939.68576
Beierle, Christoph
1
1995
Correctness proof for the WAM with types. Zbl 0819.68028
Beierle, Ch.; Börger, E.
1
1992
Types, modules and databases in the logic programming language PROTOS-L. Zbl 0747.68074
Beierle, Christoph
1
1990
The knowledge representation language \(L_{LILOG}\). Zbl 0714.68100
Beierle, Christoph; Dörre, Jochen; Pletat, Udo; Rollinger, Claus; Schmitt, Peter H.; Studer, Rudi
1
1989
Viewing implementations as an institution. Zbl 0639.68025
Beierle, Christoph; Voß, Angelika
1
1987
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Zbl 1448.68397
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven
3
2018
A generalized iterative scaling algorithm for maximum entropy model computations respecting probabilistic independencies. Zbl 06894610
Wilhelm, Marco; Kern-Isberner, Gabriele; Finthammer, Marc; Beierle, Christoph
1
2018
Compilation of conditional knowledge bases for computing C-inference relations. Zbl 06894592
Beierle, Christoph; Kutsch, Steven; Sauerwald, Kai
1
2018
Comparison of inference relations defined over different sets of ranking functions. Zbl 06769601
Beierle, Christoph; Kutsch, Steven
2
2017
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Zbl 1420.68203
Kern-Isberner, Gabriele; Wilhelm, Marco; Beierle, Christoph
1
2017
Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem. Zbl 06582814
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele
4
2016
Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions. Zbl 1403.68253
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven
3
2016
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. Zbl 1401.68326
Potyka, Nico; Beierle, Christoph; Kern-Isberner, Gabriele
2
2015
Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics. Zbl 1319.68209
Beierle, Christoph; Krämer, Annika
1
2015
A system Z-like approach for first-order default reasoning. Zbl 1432.68444
Kern-Isberner, Gabriele; Beierle, Christoph
1
2015
On the problem of reversing relational inductive knowledge representation. Zbl 1390.68625
Potyka, Nico; Beierle, Christoph; Kern-Isberner, Gabriele
1
2013
Semantical investigations into nonmonotonic and probabilistic logics. Zbl 1280.68245
Beierle, Christoph; Kern-Isberner, Gabriele
3
2012
How to exploit parametric uniformity for maximum entropy reasoning in a relational probabilistic logic. Zbl 1361.68226
Finthammer, Marc; Beierle, Christoph
3
2012
Formal similarities and differences among qualitative conditional semantics. Zbl 1191.68672
Beierle, Christoph; Kern-Isberner, Gabriele
1
2009
Looking at probabilistic conditionals from an institutional point of view. Zbl 1111.03022
Beierle, Christoph; Kern-Isberner, Gabriele
2
2005
A logical study on qualitative default reasoning with probabilities. Zbl 1273.03076
Beierle, Christoph; Kern-Isberner, Gabriele
1
2003
Modelling conditional knowledge discovery and belief revision by abstract state machines. Zbl 1021.68529
Beierle, Christoph; Kern-Isberner, Gabriele
1
2003
Using institutions for the study of qualitative and quantitative conditional logics. Zbl 1013.03018
Beierle, Christoph; Kern-Isberner, Gabriele
2
2002
Refinement of a typed WAM extension by polymorphic order-sorted types. Zbl 0876.68019
Beierle, Christoph; Börger, Egon
2
1996
Specification and correctness proof of a WAM extension with abstract type constraints. Zbl 0857.68016
Beierle, Christoph; Börger, Egon
2
1996
Concepts, implementation, and applications of a typed logic programming languange. Zbl 0939.68576
Beierle, Christoph
1
1995
Run-time computations in the Warren abstract machine. Zbl 0795.68034
Beierle, Christoph; Meyer, Gregor
2
1994
An order-sorted logic for knowledge representation systems. Zbl 0768.68196
Beierle, C.; Hedtstück, U.; Pletat, U.; Schmitt, P. H.; Siekmann, J.
11
1992
Correctness proof for the WAM with types. Zbl 0819.68028
Beierle, Ch.; Börger, E.
1
1992
Types, modules and databases in the logic programming language PROTOS-L. Zbl 0747.68074
Beierle, Christoph
1
1990
The knowledge representation language \(L_{LILOG}\). Zbl 0714.68100
Beierle, Christoph; Dörre, Jochen; Pletat, Udo; Rollinger, Claus; Schmitt, Peter H.; Studer, Rudi
1
1989
Viewing implementations as an institution. Zbl 0639.68025
Beierle, Christoph; Voß, Angelika
1
1987

Citations by Year