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
- 2024
[j51]Christoph Beierle
, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg, Matthias Thimm:
Formal and cognitive reasoning. Int. J. Approx. Reason. 174: 109270 (2024)- [j50]Martin von Berg, Arthur Sanin, Christoph Beierle:
An implementation of nonmonotonic reasoning with c-representations using an SMT solver. Int. J. Approx. Reason. 175: 109285 (2024) - [j49]Jonas Haldimann, Christoph Beierle:
Approximations of system W for inference from strongly and weakly consistent belief bases. Int. J. Approx. Reason. 175: 109295 (2024) - [c169]Christoph Beierle, Aron Spang, Jonas Haldimann:
A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS 2024 - [c168]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS 2024: 85-103 - [c167]Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle:
Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS 2024: 104-122 - [c166]Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner:
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS 2024: 144-162 - [c165]Martin von Berg, Arthur Sanin, Christoph Beierle:
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. FoIKS 2024: 182-200 - 2023
- [j48]Gabriele Kern-Isberner, Meliha Sezgin, Christoph Beierle:
A kinematics principle for iterated revision. Artif. Intell. 314: 103827 (2023) - [j47]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Joining Formal and Cognitive Reasoning. FLAP 10(2): 115-119 (2023) - [j46]Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Epistemic State Mappings among Ranking Functions and Total Preorders. FLAP 10(2): 155-191 (2023) - [j45]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Activation-based Conditional Inference. FLAP 10(2): 221-247 (2023) - [c164]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 - [c163]Jonas Haldimann, Christoph Beierle:
Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. ECSQARU 2023: 185-197 - [c162]Martin von Berg, Arthur Sanin, Christoph Beierle:
Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem. ECSQARU 2023: 210-223 - [c161]Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle:
On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU 2023: 224-238 - [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 - [e13]Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg:
Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023. CEUR Workshop Proceedings 3500, CEUR-WS.org 2023 [contents] - 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]Christoph Beierle, Steffen Kuche, Marc Finthammer, Gabriele Kern-Isberner:
A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. FLAIRS 2015: 558-563 - [c89]Sibylle Möhle, Christoph Beierle:
Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study. ICMMI 2015: 449-459 - [c88]Marc Finthammer, Christoph Beierle:
Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics. KI 2015: 72-86 - [c87]Christoph Beierle, Florian Brons, Nico Potyka:
A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics. KI 2015: 241-248 - [e5]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg:
Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015. CEUR Workshop Proceedings 1444, CEUR-WS.org 2015 [contents] - [e4]Christoph Beierle, Alex Dekhtyar:
Scalable Uncertainty Management - 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings. Lecture Notes in Computer Science 9310, Springer 2015, ISBN 978-3-319-23539-4 [contents] - 2014
- [b6]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage. Computational intelligence, SpringerVieweg 2014, ISBN 978-3-8348-1896-6, pp. I-XVI, 1-545 - [j18]Julian Caspers, Karl Zilles, Christoph Beierle, Claudia Rottschy, Simon B. Eickhoff:
A novel meta-analytic approach: Mining frequent co-activation patterns in neuroimaging databases. NeuroImage 90: 390-402 (2014) - [c86]Sibylle Möhle, Michael Bründl, Christoph Beierle:
Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest. AIMSA 2014: 80-91 - [c85]Christoph Beierle, Markus Höhnerbach, Marcus Marto:
Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics. PRUV 2014: 39-51 - [c84]Christoph Beierle, Rita Hermsen, Gabriele Kern-Isberner:
Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation. FLAIRS 2014 - [c83]Christoph Beierle, Markus Höhnerbach, Marcus Marto:
Implementation of a Transformation System for Relational Probabilistic Knowledge Bases Simplifying the Maximum Entropy Model Computation. FLAIRS 2014 - [c82]Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle:
A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. FLAIRS 2014 - [c81]Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle:
Probabilistic Knowledge Representation Using Gröbner Basis Theory. ISAIM 2014 - [c80]Marc Finthammer, Christoph Beierle:
A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts. SUM 2014: 162-175 - [e3]Christoph Beierle, Carlo Meghini:
Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings. Lecture Notes in Computer Science 8367, Springer 2014, ISBN 978-3-319-04938-0 [contents] - 2013
- [c79]Julian Varghese, Christoph Beierle, Nico Potyka, Gabriele Kern-Isberner:
Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data. CBMS 2013: 401-404 - [c78]Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner:
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. ECSQARU 2013: 49-60 - [c77]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
On the Problem of Reversing Relational Inductive Knowledge Representation. ECSQARU 2013: 485-496 - [c76]Christoph Beierle, Souhila Kaci:
Special Track on Uncertain Reasoning. FLAIRS 2013 - [c75]Christoph Beierle, Udo Lelitko:
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry. KDPD 2013: 48-64 - [c74]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. KI 2013: 176-187 - 2012
- [j17]Christoph Beierle, Gabriele Kern-Isberner:
Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. 65(2-3): 123-158 (2012) - [j16]Christoph Beierle, Gabriele Kern-Isberner:
Editorial: Relational approaches to knowledge representation and learning. Log. J. IGPL 20(5): 771-773 (2012) - [j15]Christoph Beierle, Gabriele Kern-Isberner:
Aspects of Universitarian Distance Teaching and Online Learning. Künstliche Intell. 26(3): 305-306 (2012) - [j14]Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm:
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Trans. Large Scale Data Knowl. Centered Syst. 6: 31-75 (2012) - [c73]Julian Caspers, Karl Zilles, Simon B. Eickhoff, Christoph Beierle:
PaMiNI: A comprehensive system for mining frequent neuronal patterns of the human brain. CBMS 2012: 1-6 - [c72]Christoph Beierle, Gabriele Kern-Isberner:
Conditional Objects Revisited: Variants and Model Translations. FLAIRS 2012 - [c71]Annika Krämer, Christoph Beierle:
On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics. FoIKS 2012: 224-243 - [c70]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions. GI-Jahrestagung 2012: 205-224 - [c69]Julian Caspers, Karl Zilles, Simon B. Eickhoff, Christoph Beierle:
Coordinate-Based Pattern-Mining on Functional Neuroimaging Databases. IPMU (1) 2012: 240-249 - [c68]Marc Finthammer, Ryszard Masternak, Christoph Beierle:
Biomedical Diagnosis Based on Ion Mobility Spectrometry - A Case Study Using Probabilistic Relational Modelling and Learning. IPMU (4) 2012: 665-675 - [c67]Marc Finthammer, Christoph Beierle:
How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. JELIA 2012: 189-201 - [c66]Marc Finthammer, Christoph Beierle:
Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals. KI 2012: 49-60 - [c65]Marc Finthammer, Christoph Beierle:
Instantiation Restrictions for Relational Probabilistic Conditionals. SUM 2012: 598-605 - [c64]Nico Potyka, Christoph Beierle:
An Approach to Learning Relational Probabilistic FO-PCL Knowledge Bases. SUM 2012: 625-632 - 2011
- [c63]Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm:
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. DEXA (1) 2011: 27-46 - [c62]Christoph Beierle, Gabriele Kern-Isberner:
On the computation of ranking functions for default rules - A challenge for constraint programming. GI-Jahrestagung 2011: 249 - [c61]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. INAP/WLP 2011: 175-192 - [c60]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm:
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. KI 2011: 63-74 - [c59]Ruth Janning, Christoph Beierle:
Transformation Rules for First-Order Probabilistic Conditional Logic Yielding Parametric Uniformity. KI 2011: 157-168 - [i22]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions. CoRR abs/1108.5794 (2011) - 2010
- [j13]Christoph Beierle, Gabriele Kern-Isberner:
Editorial: Dynamics of knowledge and belief. Log. J. IGPL 18(4): 485-487 (2010) - [c58]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm:
Automated Reasoning for Relational Probabilistic Knowledge Representation. IJCAR 2010: 218-224 - [c57]Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm:
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. COMMA 2010: 87-98 - [c56]Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle:
A System for Relational Probabilistic Reasoning on Maximum Entropy. FLAIRS 2010 - [c55]Christoph Beierle, Gabriele Kern-Isberner:
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. FoIKS 2010: 191-210 - [c54]Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Bülent Möller, Jörg Ingo Baumbach:
Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. IPMU (1) 2010: 365-375
2000 – 2009
- 2009
- [j12]Christoph Beierle, Gabriele Kern-Isberner:
Formal similarities and differences among qualitative conditional semantics. Int. J. Approx. Reason. 50(9): 1333-1346 (2009) - [c53]Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner:
Probabilistic Reasoning at Optimum Entropy with the MEcore System. FLAIRS 2009 - [c52]Christoph Beierle, Gabriele Kern-Isberner:
A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. KI 2009: 273-280 - [c51]Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner:
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. LPNMR 2009: 496-501 - 2008
- [b5]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 4. Auflage. Vieweg 2008, ISBN 978-3-8348-0504-1, pp. I-XVIII, 1-495 - [j11]Christoph Beierle, Gabriele Kern-Isberner:
On the Modelling of an Agent's Epistemic State and its Dynamic Changes. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [c50]Christoph Beierle, Gabriele Kern-Isberner:
A Verified AsmL Implementation of Belief Revision. ABZ 2008: 98-111 - [c49]Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch:
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). IJCAR 2008: 147-153 - 2007
- [c48]Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle:
Learning Uncertain Rules with CONDORCKD. FLAIRS 2007: 74-79 - [c47]Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller:
Algebraic Knowledge Discovery Using Haskell. PADL 2007: 80-93 - 2006
- [b4]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 3. Auflage. Computational intelligence, Vieweg 2006, ISBN 978-3-8348-0010-7, pp. I-XVI, 1-489 - [c46]Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle:
Computer Science Exercises in a Virtual University. CSREA EEE 2006: 23-29 - [c45]Immo Schulz-Gerlach, Christoph Beierle:
Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. DeLFI 2006: 243-254 - [c44]Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle:
An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment 2006: 316-321 - [c43]Christoph Beierle, Gabriele Kern-Isberner:
A Note on Comparing Semantics for Conditionals. FLAIRS 2006: 794-799 - 2005
- [c42]Christoph Beierle, Gabriele Kern-Isberner:
Footprints of Conditionals. Mechanizing Mathematical Reasoning 2005: 99-119 - [c41]Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera:
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI 2005: 523-524 - [c40]Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner:
Using Answer Set Programming for a Decision Support System. LPNMR 2005: 374-378 - [i21]Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso:
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - 2004
- [c39]Christoph Beierle, Marija Kulas, Manfred Widera:
A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP 2004: 294-308 - 2003
- [b3]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 2. Auflage. Computational intelligence, Vieweg 2003, ISBN 978-3-528-15723-4, pp. I-XIV, 1-458 - [c38]Christoph Beierle, Gabriele Kern-Isberner:
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines 2003: 186-203 - [c37]Christoph Beierle, Marjaa Kulaa, Manfred Widera:
Automatic Analysis of Programming Assignments. DeLFI 2003: 144-153 - [c36]Christoph Beierle, Gabriele Kern-Isberner:
An Alternative View of Knowledge Discovery. HICSS 2003: 68 - [c35]Christoph Beierle, Gabriele Kern-Isberner:
A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR 2003: 376-388 - 2002
- [c34]Christoph Beierle, Gabriele Kern-Isberner:
On the Interpretation of Uncertain Rules in Prepositional Logic. IC-AI 2002: 522-528 - [c33]Christoph Beierle, Gabriele Kern-Isberner:
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA 2002: 161-172 - [c32]Christoph Beierle, Gabriele Kern-Isberner:
Looking at Probabilistic Conditionals from an Institutional Point of View. WCII 2002: 162-179 - 2001
- [c31]Manfred Widera, Christoph Beierle:
Function Types in Complete Type Inference. Scottish Functional Programming Workshop 2001: 111-122 - 2000
- [b2]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Computational intelligence, Vieweg 2000, ISBN 978-3-528-05723-7, pp. I-XIV, 1-408 - [c30]Manfred Widera, Christoph Beierle:
Detecting common elements of types. Scottish Functional Programming Workshop 2000: 173-184 - [c29]Marija Kulas, Christoph Beierle:
Defining Standard Prolog in Rewriting Logic. WRLA 2000: 158-174
1990 – 1999
- 1999
- [c28]Christoph Beierle, Gregor Meyer:
Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming 1999: 251-266 - [c27]Manfred Widera, Christoph Beierle:
Combining Strict and Soft Typing in Functional Programming. GI Jahrestagung 1999: 350-359 - [c26]Manfred Widera, Christoph Beierle:
How to Combine the Benefits of Strict and Soft Typing. Scottish Functional Programming Workshop 1999: 68-78 - [c25]Christoph Beierle, Reinhold Kloos, Gregor Meyer:
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. Verification of Logic Programs@ICLP 1999: 1-21 - 1996
- [j10]Christoph Beierle, Egon Börger:
Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Aspects Comput. 8(4): 428-462 (1996) - [j9]Christoph Beierle, Egon Börger:
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Aspects Comput. 8(5): 539-564 (1996) - 1995
- [c24]Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene:
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications 1995: 52-78 - [c23]Christoph Beierle:
Type Inferencing for Polymorphic Order-Sorted Logic Programs. ICLP 1995: 765-779 - [p1]Christoph Beierle:
Concepts, Implementation, and Applications of a Typed Logic Programming Language. Logic Programming: Formal Methods and Practical Applications 1995: 139-167 - [e2]Christoph Beierle, Lutz Plümer:
Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. Elsevier Science B.V./North-Holland 1995, ISBN 0-444-82092-2, pp. 1-404 [contents] - 1994
- [j8]Christoph Beierle, Gregor Meyer:
Run-Time Type Computations in the Warren Abstract Machine. J. Log. Program. 18(2): 123-148 (1994) - [c22]Christoph Beierle:
Formal Design of an Abstract Machine for Constraint Logic Programming. IFIP Congress (1) 1994: 377-382 - 1993
- [j7]Christoph Beierle, Udo Pletat, Rudi Studer:
Knowledge Representation for Natural Language Understanding: The LLILOG Approach. IEEE Trans. Knowl. Data Eng. 5(3): 386-401 (1993) - [e1]Christoph Beierle:
9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146. 1993 [contents] - 1992
- [j6]Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann:
An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992) - [j5]Christoph Beierle:
Logic programming with typed unification and its realization on an abstract machine. IBM J. Res. Dev. 36(3): 375-390 (1992) - [j4]Michel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle:
Prolog at IBM: An Advanced and Evolving Application Development Technology. IBM Syst. J. 31(4): 755-773 (1992) - [c21]Christoph Beierle:
Knowledge Based PPS Applications in PROTOS-L. Logic Programming Summer School 1992: 80-90 - [i20]Gregor Meyer, Christoph Beierle, Ralph Scheubrein:
Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken. IWBS Report 219 (1992) - 1991
- [c20]Christoph Beierle, Egon Börger:
Correctness Proof For the WAM with Types. CSL 1991: 15-34 - [c19]Christoph Beierle, Gregor Meyer, Heiner Semle:
A Brief Description of the PROTOS-L System. PDK 1991: 402-404 - [c18]Christoph Beierle, Gregor Meyer, Heiner Semle:
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286 - [i19]Christoph Beierle:
An Overview on Planning Applications in PROTOS-L. IWBS Report 163 (1991) - [i18]Christoph Beierle, Stefan Böttcher, Gregor Meyer:
Draft Report of the Logic Programming Language PROTOS-L. IWBS Report 175 (1991) - [i17]Christoph Beierle, Gregor Meyer, Heiner Semle:
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. IWBS Report 181 (1991) - [i16]Christoph Beierle, Egon Börger:
A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof. IWBS Report 200 (1991) - [i15]Christoph Beierle, Egon Börger:
Correctness Proof for the WAM. IWBS Report 205 (1991) - 1990
- [i14]Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann:
An Order-Sorted Logic for Knowledge Representation Systems. IWBS Report 113 (1990) - [i13]Christoph Beierle, Angi Voß:
Stepwise Software Development with Algebraic Specifications. IWBS Report 140 (1990)
1980 – 1989
- 1989
- [j3]Stefan Böttcher, Christoph Beierle:
Database support for the PROTOS-L system. Microprocessing and Microprogramming 27(1-5): 25-30 (1989) - [c17]Christoph Beierle:
Types, Modules and Databases in the Logic Programming Language PROTOS-L. Sorts and Types in Artificial Intelligence 1989: 73-110 - [c16]Christoph Beierle, Stefan Böttcher:
PROTOS-L: Towards a Knowledge Base Programming Language. Wissensbasierte Systeme 1989: 388-400 - [i12]Stefan Böttcher, Christoph Beierle:
Database Support for the PROTOS-L System. IWBS Report 71 (1989) - [i11]Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann:
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information. IWBS Report 86 (1989) - [i10]Christoph Beierle:
Types, Modules and Databases in the Logic Programming Language PROTOS-L. IWBS Report 88 (1989) - [i9]Christoph Beierle, Stefan Böttcher:
PROTOS-L: Towards a Knowledge Base Programming Language. IWBS Report 89 (1989) - [i8]Christoph Beierle, Udo Pletat:
The Algebra of Feature Graph Specifications. IWBS Report 94 (1989) - 1988
- [j2]Christoph Beierle, Walter G. Olthoff, Angi Voß:
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Inform. Spektrum 11(6): 292-302 (1988) - [j1]Christoph Beierle:
Semantische Aspekte des algebraischen Programmierens / Semantical Aspects of Algebraic Programming. it Inf. Technol. 30(6): 446-455 (1988) - [c15]Christoph Beierle, Udo Pletat:
Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP 1988: 71-82 - [c14]Christoph Beierle, Udo Pletat:
Feature graphs and abstract data types: a unifying approach. COLING 1988: 40-45 - [c13]Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer:
The Knowledge Representation Language LLILOG. CSL 1988: 14-51 - [c12]Christoph Beierle, Udo Pletat, Hans Uszkoreit:
An Algebraic Characterization of STUF. Computerlinguistik und ihre theoretischen Grundlagen 1988: 15-32 - [i7]Christoph Beierle, Udo Pletat:
Semantics of Logic Programs with Equational Abstract Data Type Specifications. LILOG-Report 38 (1988) - [i6]Christoph Beierle, Udo Pletat:
Feature Graphs and Abstract Data Types: A Unifying Approach. LILOG-Report 39 (1988) - [i5]Christoph Beierle, Udo Pletat, Hans Uszkoreit:
An Algebraic Characterization of STUF. LILOG-Report 40 (1988) - [i4]Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer:
The Knowledge Representation Language LLILOG. LILOG-Report 41 (1988) - [i3]Christoph Beierle, Walter G. Olthoff, Angi Voß:
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. LILOG-Report 42 (1988) - 1987
- [c11]Christoph Beierle, Angi Voß:
Viewing Implementations as an Institution. Category Theory and Computer Science 1987: 196-218 - [c10]Christoph Beierle, Udo Pletat:
On the Integration of Equality, Sorts, and Logic Programming. ÖGAI 1987: 133-144 - [c9]Christoph Beierle, Angi Voß:
On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. STACS 1987: 245-259 - [c8]Christoph Beierle, Angi Voß:
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. TAPSOFT, Vol.2 1987: 320-334 - [i2]Udo Pletat, Christoph Beierle:
The Semantics of Asserting and Retracting Clauses to Logic Programs. LILOG-Report 7 (1987) - [i1]Christoph Beierle, Udo Pletat:
On the Interpretation of Equality, Sorts, and Logic Programming. LILOG-Report 37 (1987) - 1986
- [b1]Christoph Beierle:
Algebraic implementations in an integrated software development and verification system. Kaiserslautern University of Technology, Germany, 1986, pp. 1-351 - [c7]Christoph Beierle:
Vertical and Horizontal Compositions of Implementation Specifications. ADT 1986 - [c6]Christoph Beierle, Walter G. Olthoff, Angi Voß:
Automatic Theorem Proving in the ISDV System. CADE 1986: 670-671 - [c5]Christoph Beierle, Walter G. Olthoff, Angi Voß:
A Software Development Environment Integrating Specification and Programming Languages. Software-Architektur 1986: 9-25 - 1984
- [c4]Christoph Beierle, Angi Voß:
Implementation Specifications. ADT 1984: 39-53 - 1983
- [c3]Christoph Beierle, Angi Voß:
A Parameterization Concept for Hierarchies of Specifications. ADT 1983 - 1982
- [c2]Christoph Beierle, Angi Voß:
Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. ADT 1982 - [c1]Christoph Beierle:
Synthesizing Minimal Programs from Traces of Observable Behaviour. ECAI 1982: 96-101
Coauthor Index
Jonas Philipp Haldimann
aka: Jonas Haldimann
aka: Jonas Haldimann
[c168] [c167] [c166] [j48] [j46] [j45] [c164] [c161] [c159] [c158] [c157] [c155] [c152] [c150] [c145] [i34] [j41] [j40] [c144] [c142] [c140] [c139] [c138] [c137] [i29] [i28] [i27] [c136] [c135] [c128] [c127] [j35] [c122] [c121] [c118] [i23] [j31] [c115] [c114] [c113] [c111] [c110] [c109] [e8] [j30] [j29] [j27] [c108] [c105] [c103] [c101] [c100] [e7] [j24] [c97] [c96] [c95] [c93] [j22] [j21] [j19] [c92] [c90] [e5] [b6] [c84] [c82] [c81] [c79] [c78] [c77] [c74] [j17] [j16] [j15] [j14] [c72] [c70] [c63] [c62] [c61] [c60] [i22] [j13] [c58] [c57] [c56] [c55] [c54] [j12] [c53] [c52] [c51] [b5] [j11] [c50] [c49] [c48] [c47] [b4] [c46] [c44] [c43] [c42] [c41] [c40] [i21] [b3] [c38] [c36] [c35] [c34] [c33] [c32] [b2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
