Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristoph Beierle
Person information
- affiliation: University of Hagen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j45]Gabriele Kern-Isberner, Meliha Sezgin
, Christoph Beierle:
A kinematics principle for iterated revision. Artif. Intell. 314: 103827 (2023)- [c161]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle:
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI 2023: 6416-6424 - [c160]Christoph Beierle, Jonas Haldimann, Leon Schwarzer:
Observational Equivalence of Conditional Belief Bases. FLAIRS 2023 - [c159]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer:
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS 2023 - [c158]Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck:
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA 2023: 462-477 - [c157]Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576 - [c156]Jonas Philipp Haldimann, Christoph Beierle:
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. KR 2023: 747-751 - [c155]Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR 2023: 52-63 - 2022
- [j44]Christian Komo, Christoph Beierle:
Nonmonotonic reasoning from conditional knowledge bases with system W. Ann. Math. Artif. Intell. 90(1): 107-144 (2022) - [j43]Christoph Beierle, Jonas Haldimann:
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. 90(2-3): 149-179 (2022) - [j42]Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner:
Using finite-state machines to automatically scan Ancient Greek hexameter. Digit. Scholarsh. Humanit. 37(1): 242-253 (2022) - [c154]Christoph Beierle, Martin von Berg, Arthur Sanin:
Realization of c-Inference as a SAT Problem. FLAIRS 2022 - [c153]Christoph Beierle, Jonas Haldimann:
Normal Forms of Conditional Belief Bases Respecting Inductive Inference. FLAIRS 2022 - [c152]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS 2022 - [c151]Jonas Haldimann, Christoph Beierle:
Properties of System W and Its Relationships to Other Inductive Inference Operators. FoIKS 2022: 206-225 - [c150]Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle:
Conditional Independence for Iterated Belief Revision. IJCAI 2022: 2690-2696 - [c149]Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer:
An Implementation of Nonmonotonic Reasoning with System W. KI 2022: 1-8 - [c148]Jonas Haldimann, Christoph Beierle:
Inference with System W Satisfies Syntax Splitting. KR 2022 - [c147]Kai Sauerwald, Christoph Beierle:
Iterated Belief Change, Computationally. KR 2022 - [c146]Jonas Haldimann, Christoph Beierle:
Characterizing Multipreference Closure with System W. SUM 2022: 79-91 - [c145]Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle:
From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM 2022: 92-106 - [e12]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm:
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022. CEUR Workshop Proceedings 3242, CEUR-WS.org 2022 [contents] - [i34]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR abs/2202.03196 (2022) - [i33]Jonas Haldimann, Christoph Beierle:
Inference with System W Satisfies Syntax Splitting. CoRR abs/2202.05511 (2022) - [i32]Kai Sauerwald, Christoph Beierle:
Iterated Belief Change, Computationally. CoRR abs/2202.08856 (2022) - [i31]Jonas Haldimann, Christoph Beierle:
Model Transformations for Ranking Functions and Total Preorders. CoRR abs/2203.14018 (2022) - 2021
- [j41]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. 297: 103489 (2021) - [j40]Meliha Sezgin, Gabriele Kern-Isberner, Christoph Beierle:
Ranking kinematics for revising by contextual information. Ann. Math. Artif. Intell. 89(10-11): 1101-1131 (2021) - [j39]Steven Kutsch, Christoph Beierle:
Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations. Int. J. Approx. Reason. 130: 297-313 (2021) - [c144]Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner:
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods 2021: 82-95 - [c143]Christoph Beierle, Jonas Haldimann, Steven Kutsch:
A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. FLAIRS 2021 - [c142]Christoph Beierle, Gabriele Kern-Isberner:
Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. FLAIRS 2021 - [c141]Steven Kutsch, Christoph Beierle:
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. IJCAI 2021: 4996-4999 - [c140]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA 2021: 35-49 - [c139]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA 2021: 85-100 - [c138]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI 2021: 4-8 - [c137]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Towards a framework of hansson's descriptor revision for conditionals. SAC 2021: 889-891 - [e11]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021. CEUR Workshop Proceedings 2961, CEUR-WS.org 2021 [contents] - [i30]Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner:
Using Finite-State Machines to Automatically Scan Classical Greek Hexameter. CoRR abs/2101.11437 (2021) - [i29]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR abs/2108.07769 (2021) - [i28]Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Forgetting Formulas and Signature Elements in Epistemic States. CoRR abs/2108.08603 (2021) - [i27]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR abs/2110.15214 (2021) - 2020
- [c136]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective for Iterated Belief Contraction. ECAI 2020: 889-896 - [c135]Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald:
Cognitive Logics - Features, Formalisms, and Challenges. ECAI 2020: 2931-2932 - [c134]Christoph Beierle, Jonas Haldimann:
Transforming Conditional Knowledge Bases into Renaming Normal Form. FLAIRS 2020: 563-568 - [c133]Christoph Beierle, Jonas Haldimann:
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS 2020: 22-41 - [c132]Christian Komo, Christoph Beierle:
Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases. ISAIM 2020 - [c131]Christian Komo, Christoph Beierle:
Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds. KI 2020: 102-115 - [c130]Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI 2020: 204-218 - [c129]Jonas Haldimann, Anna Osiak, Christoph Beierle:
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. KI 2020: 283-289 - [c128]Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle:
Syntax Splitting for Iterated Contractions. KR 2020: 465-475 - [c127]Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka:
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020: 560-571 - [e10]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020. CEUR Workshop Proceedings 2680, CEUR-WS.org 2020 [contents] - [i26]Christian Komo, Christoph Beierle:
Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds. CoRR abs/2005.12713 (2020) - [i25]Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR abs/2006.01444 (2020)
2010 – 2019
- 2019
- [j38]Christoph Beierle, Steven Kutsch, Kai Sauerwald:
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell. 87(1-2): 5-41 (2019) - [j37]Christoph Beierle, Steven Kutsch:
Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents. Appl. Intell. 49(1): 28-43 (2019) - [j36]Christoph Beierle, Ingo J. Timm:
Intentional Forgetting: An Emerging Field in AI and Beyond. Künstliche Intell. 33(1): 5-8 (2019) - [j35]Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni:
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. 33(1): 57-68 (2019) - [j34]Christoph Beierle, Jan Ole Berndt, Norbert Gronau, Ingo J. Timm:
Intentional Forgetting: A Huge Potential for Organizations - Interview with Prof. Norbert Gronau, University of Potsdam. Künstliche Intell. 33(1): 85-87 (2019) - [j33]Ingo J. Timm, Otthein Herzog, Jan Ole Berndt, Christoph Beierle:
Intentional Forgetting Must be Part of the Functionality - Interview with Prof. Otthein Herzog, Jacobs University Bremen, University of Bremen, and Tongij University, Shanghai. Künstliche Intell. 33(1): 89-91 (2019) - [j32]Christoph Beierle, Klaus-Dieter Schewe:
Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic. Sci. Comput. Program. 184 (2019) - [c126]Christoph Beierle, Steven Kutsch:
On the Antecedent Normal Form of Conditional Knowledge Bases. ECSQARU 2019: 175-186 - [c125]Steven Kutsch, Christoph Beierle:
Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases. ECSQARU 2019: 226-237 - [c124]Kai Sauerwald, Christoph Beierle:
Decrement Operators in Belief Change. ECSQARU 2019: 251-262 - [c123]Christoph Beierle, Steven Kutsch, Henning Breuers:
On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations. FLAIRS 2019: 458-463 - [c122]Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald:
Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS 2019: 470-475 - [c121]Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle:
Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. FLAIRS 2019: 494-499 - [c120]Christian Wriedt, Christoph Beierle:
Implementation of Trajectory Planning for Automated Driving Systems using Constraint Logic Programming. ICAART (2) 2019: 411-418 - [c119]Christoph Beierle, Steven Kutsch:
Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. JELIA 2019: 279-286 - [c118]Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) 2019: 459-472 - [c117]Christoph Beierle:
Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics. SAC 2019: 1131-1138 - [e9]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019. CEUR Workshop Proceedings 2445, CEUR-WS.org 2019 [contents] - [i24]Kai Sauerwald, Christoph Beierle:
Decrement Operators in Belief Change. CoRR abs/1905.08347 (2019) - [i23]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective for Iterated Belief Contraction. CoRR abs/1911.08833 (2019) - 2018
- [j31]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83(3-4): 247-275 (2018) - [c116]Christoph Beierle, Klaus-Dieter Schewe:
Abstract State Machines with Exact Real Arithmetic. ABZ 2018: 139-154 - [c115]Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner:
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 286-310 - [c114]Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle:
Towards a Formal Foundation of Cognitive Architectures. CogSci 2018 - [c113]Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke:
Decision Support Core System for Cancer Therapies Using ASP-HEX. FLAIRS 2018: 531-536 - [c112]Christoph Beierle, Steven Kutsch, Kai Sauerwald:
Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. FoIKS 2018: 34-54 - [c111]Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle:
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. FoIKS 2018: 379-399 - [c110]Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle:
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 2018: 357-365 - [c109]Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald:
Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI 2018: 366-373 - [e8]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany, September 25, 2018. CEUR Workshop Proceedings 2194, CEUR-WS.org 2018 [contents] - 2017
- [j30]Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle:
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Ann. Math. Artif. Intell. 79(1-3): 163-179 (2017) - [j29]Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner:
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. FLAP 4(7) (2017) - [j28]Christoph Beierle:
Management of uncertainty in Artificial Intelligence and databases. Int. J. Approx. Reason. 86: 24-25 (2017) - [j27]Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner:
System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. Int. J. Approx. Reason. 90: 120-143 (2017) - [j26]Christoph Beierle, Christian Eichhorn, Steven Kutsch:
A Practical Comparison of Qualitative Inferences with Preferred Ranking Models. Künstliche Intell. 31(1): 41-52 (2017) - [c108]Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke:
On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. CBMS 2017: 105-110 - [c107]Christoph Beierle, Norbert Blößner, Sebastian Kruse:
Using Methods of Computational Linguistics for Resolving the "Homeric Question". DH 2017 - [c106]Christoph Beierle, Steven Kutsch:
Comparison of Inference Relations Defined over Different Sets of Ranking Functions. ECSQARU 2017: 225-235 - [c105]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. ECSQARU 2017: 236-245 - [c104]Christoph Beierle, Steven Kutsch, Andreas Obergrusberger:
On the Interrelationships Among C-Inference Relations Based on Preferred Models for Sets of Default Rules. FLAIRS 2017: 724-729 - [c103]Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI 2017: 78-92 - [c102]Christoph Beierle, Steven Kutsch:
Regular and Sufficient Bounds of Finite Domain Constraints for Skeptical C-Inference. IEA/AIE (1) 2017: 477-487 - [c101]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
On Transformations and Normal Forms of Conditional Knowledge Bases. IEA/AIE (1) 2017: 488-494 - [c100]Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle:
First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. SUM 2017: 266-279 - [e7]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg:
Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017. CEUR Workshop Proceedings 1928, CEUR-WS.org 2017 [contents] - 2016
- [j25]Christoph Beierle, Carlo Meghini:
Preface. Ann. Math. Artif. Intell. 76(3-4): 247-249 (2016) - [j24]Christoph Beierle, Gabriele Kern-Isberner:
Dynamics of Knowledge and Belief. J. Appl. Log. 19: 51-53 (2016) - [c99]Christoph Beierle, Gerhard Brewka, Matthias Thimm:
A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence. Computational Models of Rationality 2016: 1-22 - [c98]Marc Finthammer, Christoph Beierle:
On the Relationship Between Aggregating Semantics and FO-PCL Grounding Semantics for Relational Probabilistic Conditionals. Computational Models of Rationality 2016: 297-315 - [c97]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. ECAI 2016: 1149-1157 - [c96]Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner:
Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. FLAIRS 2016: 626-631 - [c95]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. FoIKS 2016: 65-82 - [c94]Christoph Beierle:
Systems and Implementations for Solving Reasoning Problems in Conditional Logics. FoIKS 2016: 83-94 - [c93]Christoph Beierle, Lewin Eisele, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke:
Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy. KI 2016: 119-125 - [e6]Christoph Beierle, Gerhard Brewka, Matthias Thimm:
Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. College Publications 2016, ISBN 978-1-84890-198-8 [contents] - 2015
- [j23]Christoph Beierle, Annika Krämer:
Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics. Ann. Math. Artif. Intell. 73(1-2): 5-45 (2015) - [j22]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner:
Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases. Entropy 17(2): 852-865 (2015) - [j21]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. J. Appl. Log. 13(4): 414-440 (2015) - [j20]Christoph Beierle, Cory J. Butz, Souhila Kaci:
Uncertain reasoning at FLAIRS. J. Appl. Log. 13(4): 555-556 (2015) - [j19]Christoph Beierle, Gabriele Kern-Isberner, Marc Finthammer, Nico Potyka:
Extending and Completing Probabilistic Knowledge and Beliefs Without Bias. Künstliche Intell. 29(3): 255-262 (2015) - [c92]Gabriele Kern-Isberner, Christoph Beierle:
A System Z-like Approach for First-Order Default Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 81-95 - [c91]Christoph Beierle, Nico Potyka, Josef Baudisch, Marc Finthammer:
Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases. ECSQARU 2015: 506-516 - [c90]