Christoph Beierle

291 papers A* 11A 8B 18C 17Misc 45Journal 89Unranked 83

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations. FoIKS Lars-Phillip Spiegel, Christoph Beierle, Gabriele Kern-Isberner, Alexander Hahn
2025	J	`jnl`	A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions. CoRR Christoph Beierle, Alexander Hahn, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald
2025	C	`conf`	Explaining Changes in Total Preorders and Ranking Functions. ECSQARU Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle
2025	A*	`conf`	Generalized Safe Conditional Syntax Splitting of Belief Bases. IJCAI Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle
2025	C	`conf`	Implementing Lexicographic Inference Using Partial MaxSAT. ECSQARU Jonas Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle
2025	J	`jnl`	Inductive inference from weakly consistent belief bases. Knowl. Eng. Rev. Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2025	—	`conf`	Kinematics Principles for Inductive Reasoning from Conditional Belief Bases. NMR Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle
2025	—	`conf`	Merging Marginalized Total Preorders. NMR Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle
2025	J	`jnl`	Reasoning with system W and infeasible worlds. Ann. Math. Artif. Intell. Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
2025	J	`jnl`	Sequential merging and construction of rankings as cognitive logic. Int. J. Approx. Reason. Kai Sauerwald, Eda Ismail-Tsaous, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
2025	—	`conf`	Strategic Principles for Revising Ranking Functions. NMR Gabriele Kern-Isberner, Alexander Hahn, Lars-Phillip Spiegel, Christoph Beierle
2025	—	`conf`	The InfOCF Library for Reasoning With Conditional Belief Bases. JELIA (2) Christoph Beierle, Jonas Haldimann, Arthur Sanin, Aron Spang, Lars-Phillip Spiegel, Martin von Berg
2024	Misc	`conf`	A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS Christoph Beierle, Aron Spang, Jonas Haldimann
2024	J	`jnl`	An implementation of nonmonotonic reasoning with c-representations using an SMT solver. Int. J. Approx. Reason. Martin von Berg, Arthur Sanin, Christoph Beierle
2024	J	`jnl`	Approximations of system W for inference from strongly and weakly consistent belief bases. Int. J. Approx. Reason. Jonas Haldimann, Christoph Beierle
2024	J	`jnl`	CLKR: Conditional Logic and Knowledge Representation. Künstliche Intell. Christoph Beierle, Jonas Haldimann, Leon Schwarzer
2024	A*	`conf`	Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner
2024	—	`conf`	Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle
2024	J	`jnl`	Formal and cognitive reasoning. Int. J. Approx. Reason. Christoph Beierle, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg, Matthias Thimm
2024	—	`conf`	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner
2024	—	`conf`	Scaling Up Reasoning from Conditional Belief Bases. SUM Christoph Beierle, Jonas Haldimann, Arthur Sanin, Leon Schwarzer, Aron Spang, Lars-Phillip Spiegel, Martin von Berg
2024	—	`conf`	Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. FoIKS Martin von Berg, Arthur Sanin, Christoph Beierle
2024	—	`conf`	Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2024	A*	`conf`	Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. KR Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle
2024	—	`conf`	Using SAT and Partial MaxSAT for Reasoning with System Z and System W. NMR Christoph Beierle, Aron Spang, Jonas Haldimann
2023	J	`jnl`	A kinematics principle for iterated revision. Artif. Intell. Gabriele Kern-Isberner, Meliha Sezgin, Christoph Beierle
2023	J	`jnl`	Activation-based Conditional Inference. FLAP Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2023	C	`conf`	Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. ECSQARU Jonas Haldimann, Christoph Beierle
2023	A*	`conf`	Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle
2023	Misc	`conf`	Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
2023	J	`jnl`	Epistemic State Mappings among Ranking Functions and Total Preorders. FLAP Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2023	—	`conf`	Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2023	A*	`conf`	Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. KR Jonas Philipp Haldimann, Christoph Beierle
2023	J	`jnl`	Joining Formal and Cognitive Reasoning. FLAP Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2023	Misc	`conf`	Observational Equivalence of Conditional Belief Bases. FLAIRS Christoph Beierle, Jonas Haldimann, Leon Schwarzer
2023	C	`conf`	On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
2023	—	`ed.`	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. FCR@KI Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg
2023	B	`conf`	Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
2023	C	`conf`	Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem. ECSQARU Martin von Berg, Arthur Sanin, Christoph Beierle
2023	B	`conf`	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck
2022	J	`jnl`	A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2022	Misc	`conf`	An Implementation of Nonmonotonic Reasoning with System W. KI Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer
2022	—	`conf`	Characterizing Multipreference Closure with System W. SUM Jonas Haldimann, Christoph Beierle
2022	A*	`conf`	Conditional Independence for Iterated Belief Revision. IJCAI Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle
2022	—	`conf`	From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle
2022	A*	`conf`	Inference with System W Satisfies Syntax Splitting. KR Jonas Haldimann, Christoph Beierle
2022	J	`jnl`	Inference with System W Satisfies Syntax Splitting. CoRR Jonas Haldimann, Christoph Beierle
2022	Misc	`conf`	Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2022	A*	`conf`	Iterated Belief Change, Computationally. KR Kai Sauerwald, Christoph Beierle
2022	J	`jnl`	Iterated Belief Change, Computationally. CoRR Kai Sauerwald, Christoph Beierle
2022	J	`jnl`	Model Transformations for Ranking Functions and Total Preorders. CoRR Jonas Haldimann, Christoph Beierle
2022	J	`jnl`	Nonmonotonic reasoning from conditional knowledge bases with system W. Ann. Math. Artif. Intell. Christian Komo, Christoph Beierle
2022	Misc	`conf`	Normal Forms of Conditional Belief Bases Respecting Inductive Inference. FLAIRS Christoph Beierle, Jonas Haldimann
2022	J	`jnl`	Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. Christoph Beierle, Jonas Haldimann
2022	—	`ed.`	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. FCR@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm
2022	—	`conf`	Properties of System W and Its Relationships to Other Inductive Inference Operators. FoIKS Jonas Haldimann, Christoph Beierle
2022	Misc	`conf`	Realization of c-Inference as a SAT Problem. FLAIRS Christoph Beierle, Martin von Berg, Arthur Sanin
2022	J	`jnl`	Using finite-state machines to automatically scan Ancient Greek hexameter. Digit. Scholarsh. Humanit. Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner
2021	—	`conf`	A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	Misc	`conf`	A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. FLAIRS Christoph Beierle, Jonas Haldimann, Steven Kutsch
2021	B	`conf`	Conditional Descriptor Revision and Its Modelling by a CSP. JELIA Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
2021	J	`jnl`	Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	J	`jnl`	Forgetting Formulas and Signature Elements in Epistemic States. CoRR Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	A*	`conf`	InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. IJCAI Steven Kutsch, Christoph Beierle
2021	J	`jnl`	On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2021	—	`ed.`	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. FCR@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2021	J	`jnl`	Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
2021	J	`jnl`	Ranking kinematics for revising by contextual information. Ann. Math. Artif. Intell. Meliha Sezgin, Gabriele Kern-Isberner, Christoph Beierle
2021	Misc	`conf`	Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. FLAIRS Christoph Beierle, Gabriele Kern-Isberner
2021	—	`conf`	Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner
2021	J	`jnl`	Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations. Int. J. Approx. Reason. Steven Kutsch, Christoph Beierle
2021	B	`conf`	Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2021	Misc	`conf`	Towards a framework of hansson's descriptor revision for conditionals. SAC Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
2021	J	`jnl`	Using Finite-State Machines to Automatically Scan Classical Greek Hexameter. CoRR Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner
2020	A	`conf`	A Conditional Perspective for Iterated Belief Contraction. ECAI Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2020	A	`conf`	Cognitive Logics - Features, Formalisms, and Challenges. ECAI Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald
2020	Misc	`conf`	Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
2020	J	`jnl`	Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
2020	Misc	`conf`	Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. KI Jonas Haldimann, Anna Osiak, Christoph Beierle
2020	Misc	`conf`	Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds. KI Christian Komo, Christoph Beierle
2020	J	`jnl`	Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds. CoRR Christian Komo, Christoph Beierle
2020	—	`conf`	Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS Christoph Beierle, Jonas Haldimann
2020	—	`ed.`	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. FCR@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2020	A*	`conf`	Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka
2020	A*	`conf`	Syntax Splitting for Iterated Contractions. KR Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle
2020	Misc	`conf`	Transforming Conditional Knowledge Bases into Renaming Normal Form. FLAIRS Christoph Beierle, Jonas Haldimann
2020	Misc	`conf`	Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases. ISAIM Christian Komo, Christoph Beierle
2019	J	`jnl`	A Conditional Perspective for Iterated Belief Contraction. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2019	Misc	`conf`	Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald
2019	—	`conf`	Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
2019	J	`jnl`	Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell. Christoph Beierle, Steven Kutsch, Kai Sauerwald
2019	J	`jnl`	Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents. Appl. Intell. Christoph Beierle, Steven Kutsch
2019	C	`conf`	Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases. ECSQARU Steven Kutsch, Christoph Beierle
2019	C	`conf`	Decrement Operators in Belief Change. ECSQARU Kai Sauerwald, Christoph Beierle
2019	J	`jnl`	Decrement Operators in Belief Change. CoRR Kai Sauerwald, Christoph Beierle
2019	—	`conf`	Implementation of Trajectory Planning for Automated Driving Systems using Constraint Logic Programming. ICAART (2) Christian Wriedt, Christoph Beierle
2019	Misc	`conf`	Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics. SAC Christoph Beierle
2019	Misc	`conf`	Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. FLAIRS Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
2019	J	`jnl`	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. Ingo J. Timm, Otthein Herzog, Jan Ole Berndt, Christoph Beierle
2019	J	`jnl`	Intentional Forgetting: A Huge Potential for Organizations - Interview with Prof. Norbert Gronau, University of Potsdam. Künstliche Intell. Christoph Beierle, Jan Ole Berndt, Norbert Gronau, Ingo J. Timm
2019	J	`jnl`	Intentional Forgetting: An Emerging Field in AI and Beyond. Künstliche Intell. Christoph Beierle, Ingo J. Timm
2019	Misc	`conf`	On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations. FLAIRS Christoph Beierle, Steven Kutsch, Henning Breuers
2019	C	`conf`	On the Antecedent Normal Form of Conditional Knowledge Bases. ECSQARU Christoph Beierle, Steven Kutsch
2019	—	`ed.`	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. DKB/KIK@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2019	B	`conf`	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. JELIA Christoph Beierle, Steven Kutsch
2019	J	`jnl`	Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni
2019	J	`jnl`	Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic. Sci. Comput. Program. Christoph Beierle, Klaus-Dieter Schewe
2018	—	`conf`	A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. FoIKS Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
2018	C	`conf`	Abstract State Machines with Exact Real Arithmetic. ABZ Christoph Beierle, Klaus-Dieter Schewe
2018	—	`conf`	Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. FoIKS Christoph Beierle, Steven Kutsch, Kai Sauerwald
2018	Misc	`conf`	Decision Support Core System for Cancer Therapies Using ASP-HEX. FLAIRS Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke
2018	—	`conf`	From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner
2018	Misc	`conf`	Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 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
2018	Misc	`conf`	Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald
2018	—	`ed.`	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. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2018	J	`jnl`	Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
2018	B	`conf`	Towards a Formal Foundation of Cognitive Architectures. CogSci Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle
2017	J	`jnl`	A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. FLAP Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner
2017	J	`jnl`	A Practical Comparison of Qualitative Inferences with Preferred Ranking Models. Künstliche Intell. Christoph Beierle, Christian Eichhorn, Steven Kutsch
2017	C	`conf`	A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. ECSQARU Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
2017	C	`conf`	Comparison of Inference Relations Defined over Different Sets of Ranking Functions. ECSQARU Christoph Beierle, Steven Kutsch
2017	—	`conf`	First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. SUM Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle
2017	—	`conf`	Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
2017	J	`jnl`	Management of uncertainty in Artificial Intelligence and databases. Int. J. Approx. Reason. Christoph Beierle
2017	—	`conf`	On Transformations and Normal Forms of Conditional Knowledge Bases. IEA/AIE (1) Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
2017	Misc	`conf`	On the Interrelationships Among C-Inference Relations Based on Preferred Models for Sets of Default Rules. FLAIRS Christoph Beierle, Steven Kutsch, Andreas Obergrusberger
2017	B	`conf`	On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. CBMS Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke
2017	J	`jnl`	Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Ann. Math. Artif. Intell. Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
2017	—	`ed.`	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. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg
2017	—	`conf`	Regular and Sufficient Bounds of Finite Domain Constraints for Skeptical C-Inference. IEA/AIE (1) Christoph Beierle, Steven Kutsch
2017	J	`jnl`	System Z Int. J. Approx. Reason. Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner
2017	—	`conf`	Using Methods of Computational Linguistics for Resolving the "Homeric Question". DH Christoph Beierle, Norbert Blößner, Sebastian Kruse
2016	—	`conf`	A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence. Computational Models of Rationality Christoph Beierle, Gerhard Brewka, Matthias Thimm
2016	—	`ed.`	Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday Computational Models of Rationality Christoph Beierle, Gerhard Brewka, Matthias Thimm
2016	J	`jnl`	Dynamics of Knowledge and Belief. J. Appl. Log. Christoph Beierle, Gabriele Kern-Isberner
2016	Misc	`conf`	Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. FLAIRS Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner
2016	—	`conf`	On the Relationship Between Aggregating Semantics and FO-PCL Grounding Semantics for Relational Probabilistic Conditionals. Computational Models of Rationality Marc Finthammer, Christoph Beierle
2016	J	`jnl`	Preface. Ann. Math. Artif. Intell. Christoph Beierle, Carlo Meghini
2016	—	`conf`	Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. FoIKS Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
2016	A	`conf`	Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. ECAI Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
2016	—	`conf`	Systems and Implementations for Solving Reasoning Problems in Conditional Logics. FoIKS Christoph Beierle
2016	Misc	`conf`	Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy. KI Christoph Beierle, Lewin Eisele, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke
2015	Misc	`conf`	A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics. KI Christoph Beierle, Florian Brons, Nico Potyka
2015	Misc	`conf`	A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. FLAIRS Christoph Beierle, Steffen Kuche, Marc Finthammer, Gabriele Kern-Isberner
2015	—	`conf`	A System Z-like Approach for First-Order Default Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Gabriele Kern-Isberner, Christoph Beierle
2015	J	`jnl`	A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. J. Appl. Log. Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner
2015	J	`jnl`	Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics. Ann. Math. Artif. Intell. Christoph Beierle, Annika Krämer
2015	J	`jnl`	Extending and Completing Probabilistic Knowledge and Beliefs Without Bias. Künstliche Intell. Christoph Beierle, Gabriele Kern-Isberner, Marc Finthammer, Nico Potyka
2015	—	`ed.`	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. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg
2015	J	`jnl`	Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases. Entropy Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner
2015	—	`ed.`	Scalable Uncertainty Management - 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings SUM Christoph Beierle, Alex Dekhtyar
2015	—	`conf`	Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study. ICMMI Sibylle Möhle, Christoph Beierle
2015	C	`conf`	Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases. ECSQARU Christoph Beierle, Nico Potyka, Josef Baudisch, Marc Finthammer
2015	Misc	`conf`	Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics. KI Marc Finthammer, Christoph Beierle
2015	J	`jnl`	Uncertain reasoning at FLAIRS. J. Appl. Log. Christoph Beierle, Cory J. Butz, Souhila Kaci
2014	Misc	`conf`	A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. FLAIRS Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
2014	—	`conf`	A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts. SUM Marc Finthammer, Christoph Beierle
2014	J	`jnl`	A novel meta-analytic approach: Mining frequent co-activation patterns in neuroimaging databases. NeuroImage Julian Caspers, Karl Zilles, Christoph Beierle, Claudia Rottschy, Simon B. Eickhoff
2014	—	`ed.`	Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings FoIKS Christoph Beierle, Carlo Meghini
2014	—	`conf`	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics. PRUV Christoph Beierle, Markus Höhnerbach, Marcus Marto
2014	Misc	`conf`	Implementation of a Transformation System for Relational Probabilistic Knowledge Bases Simplifying the Maximum Entropy Model Computation. FLAIRS Christoph Beierle, Markus Höhnerbach, Marcus Marto
2014	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage. Christoph Beierle, Gabriele Kern-Isberner
2014	Misc	`conf`	Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest. AIMSA Sibylle Möhle, Michael Bründl, Christoph Beierle
2014	Misc	`conf`	Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation. FLAIRS Christoph Beierle, Rita Hermsen, Gabriele Kern-Isberner
2014	Misc	`conf`	Probabilistic Knowledge Representation Using Gröbner Basis Theory. ISAIM Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
2013	C	`conf`	A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. ECSQARU Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner
2013	Misc	`conf`	Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. KI Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner
2013	—	`conf`	On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry. KDPD Christoph Beierle, Udo Lelitko
2013	C	`conf`	On the Problem of Reversing Relational Inductive Knowledge Representation. ECSQARU Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner
2013	Misc	`conf`	Special Track on Uncertain Reasoning. FLAIRS Christoph Beierle, Souhila Kaci
2013	B	`conf`	Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data. CBMS Julian Varghese, Christoph Beierle, Nico Potyka, Gabriele Kern-Isberner
2012	—	`conf`	An Approach to Learning Relational Probabilistic FO-PCL Knowledge Bases. SUM Nico Potyka, Christoph Beierle
2012	J	`jnl`	Aspects of Universitarian Distance Teaching and Online Learning. Künstliche Intell. Christoph Beierle, Gabriele Kern-Isberner
2012	—	`conf`	Biomedical Diagnosis Based on Ion Mobility Spectrometry - A Case Study Using Probabilistic Relational Modelling and Learning. IPMU (4) Marc Finthammer, Ryszard Masternak, Christoph Beierle
2012	J	`jnl`	Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Trans. Large Scale Data Knowl. Centered Syst. Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm
2012	Misc	`conf`	Conditional Objects Revisited: Variants and Model Translations. FLAIRS Christoph Beierle, Gabriele Kern-Isberner
2012	—	`conf`	Coordinate-Based Pattern-Mining on Functional Neuroimaging Databases. IPMU (1) Julian Caspers, Karl Zilles, Simon B. Eickhoff, Christoph Beierle
2012	J	`jnl`	Editorial: Relational approaches to knowledge representation and learning. Log. J. IGPL Christoph Beierle, Gabriele Kern-Isberner
2012	B	`conf`	How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. JELIA Marc Finthammer, Christoph Beierle
2012	—	`conf`	Instantiation Restrictions for Relational Probabilistic Conditionals. SUM Marc Finthammer, Christoph Beierle
2012	—	`conf`	On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics. FoIKS Annika Krämer, Christoph Beierle
2012	B	`conf`	PaMiNI: A comprehensive system for mining frequent neuronal patterns of the human brain. CBMS Julian Caspers, Karl Zilles, Simon B. Eickhoff, Christoph Beierle
2012	J	`jnl`	Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. Christoph Beierle, Gabriele Kern-Isberner
2012	—	`conf`	Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions. GI-Jahrestagung Christoph Beierle, Gabriele Kern-Isberner, Karl Södler
2012	Misc	`conf`	Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals. KI Marc Finthammer, Christoph Beierle
2011	J	`jnl`	A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions CoRR Christoph Beierle, Gabriele Kern-Isberner, Karl Södler
2011	—	`conf`	A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. INAP/WLP Christoph Beierle, Gabriele Kern-Isberner, Karl Södler
2011	Misc	`conf`	Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. KI Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
2011	—	`conf`	On the computation of ranking functions for default rules - A challenge for constraint programming. GI-Jahrestagung Christoph Beierle, Gabriele Kern-Isberner
2011	—	`conf`	Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. DEXA (1) Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm
2011	Misc	`conf`	Transformation Rules for First-Order Probabilistic Conditional Logic Yielding Parametric Uniformity. KI Ruth Janning, Christoph Beierle
2010	Misc	`conf`	A System for Relational Probabilistic Reasoning on Maximum Entropy. FLAIRS Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle
2010	A	`conf`	Automated Reasoning for Relational Probabilistic Knowledge Representation. IJCAR Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
2010	J	`jnl`	Editorial: Dynamics of knowledge and belief. Log. J. IGPL Christoph Beierle, Gabriele Kern-Isberner
2010	—	`conf`	Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. IPMU (1) Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Bülent Möller, Jörg Ingo Baumbach
2010	—	`conf`	The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. FoIKS Christoph Beierle, Gabriele Kern-Isberner
2010	C	`conf`	Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. COMMA Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm
2009	Misc	`conf`	A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. KI Christoph Beierle, Gabriele Kern-Isberner
2009	B	`conf`	An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. LPNMR Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner
2009	J	`jnl`	Formal similarities and differences among qualitative conditional semantics. Int. J. Approx. Reason. Christoph Beierle, Gabriele Kern-Isberner
2009	Misc	`conf`	Probabilistic Reasoning at Optimum Entropy with the MEcore System. FLAIRS Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner
2008	A	`conf`	A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). IJCAR Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch
2008	C	`conf`	A Verified AsmL Implementation of Belief Revision. ABZ Christoph Beierle, Gabriele Kern-Isberner
2008	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 4. Auflage. Christoph Beierle, Gabriele Kern-Isberner
2008	J	`jnl`	On the Modelling of an Agent's Epistemic State and its Dynamic Changes. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christoph Beierle, Gabriele Kern-Isberner
2007	C	`conf`	Algebraic Knowledge Discovery Using Haskell. PADL Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller
2007	Misc	`conf`	Learning Uncertain Rules with CONDORCKD. FLAIRS Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle
2006	Misc	`conf`	A Note on Comparing Semantics for Conditionals. FLAIRS Christoph Beierle, Gabriele Kern-Isberner
2006	—	`conf`	An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006	—	`conf`	Computer Science Exercises in a Virtual University. CSREA EEE Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006	—	`conf`	Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. DeLFI Immo Schulz-Gerlach, Christoph Beierle
2006	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 3. Auflage. Christoph Beierle, Gabriele Kern-Isberner
2005	—	`conf`	Footprints of Conditionals. Mechanizing Mathematical Reasoning Christoph Beierle, Gabriele Kern-Isberner
2005	—	`conf`	Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera
2005	—	`conf`	Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Nonmonotonic Reasoning, Answer Set Programming and Constraints Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso
2005	B	`conf`	Using Answer Set Programming for a Decision Support System. LPNMR Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner
2004	—	`conf`	A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP Christoph Beierle, Marija Kulas, Manfred Widera
2003	B	`conf`	A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR Christoph Beierle, Gabriele Kern-Isberner
2003	—	`conf`	An Alternative View of Knowledge Discovery. HICSS Christoph Beierle, Gabriele Kern-Isberner
2003	—	`conf`	Automatic Analysis of Programming Assignments. DeLFI Christoph Beierle, Marjaa Kulaa, Manfred Widera
2003	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 2. Auflage. Christoph Beierle, Gabriele Kern-Isberner
2003	—	`conf`	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines Christoph Beierle, Gabriele Kern-Isberner
2002	—	`conf`	Looking at Probabilistic Conditionals from an Institutional Point of View. WCII Christoph Beierle, Gabriele Kern-Isberner
2002	Misc	`conf`	On the Interpretation of Uncertain Rules in Prepositional Logic. IC-AI Christoph Beierle, Gabriele Kern-Isberner
2002	B	`conf`	Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA Christoph Beierle, Gabriele Kern-Isberner
2001	—	`conf`	Function Types in Complete Type Inference. Scottish Functional Programming Workshop Manfred Widera, Christoph Beierle
2000	—	`conf`	Defining Standard Prolog in Rewriting Logic. WRLA Marija Kulas, Christoph Beierle
2000	—	`conf`	Detecting common elements of types. Scottish Functional Programming Workshop Manfred Widera, Christoph Beierle
2000	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Christoph Beierle, Gabriele Kern-Isberner
1999	—	`conf`	A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. Verification of Logic Programs@ICLP Christoph Beierle, Reinhold Kloos, Gregor Meyer
1999	—	`conf`	Combining Strict and Soft Typing in Functional Programming. GI Jahrestagung Manfred Widera, Christoph Beierle
1999	—	`conf`	How to Combine the Benefits of Strict and Soft Typing. Scottish Functional Programming Workshop Manfred Widera, Christoph Beierle
1999	—	`conf`	Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming Christoph Beierle, Gregor Meyer
1996	J	`jnl`	Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Aspects Comput. Christoph Beierle, Egon Börger
1996	J	`jnl`	Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Aspects Comput. Christoph Beierle, Egon Börger
1995	—	`ch.`	Concepts, Implementation, and Applications of a Typed Logic Programming Language. Logic Programming: Formal Methods and Practical Applications Christoph Beierle
1995	—	`book`	Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. Christoph Beierle, Lutz Plümer
1995	—	`conf`	Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene
1995	B	`conf`	Type Inferencing for Polymorphic Order-Sorted Logic Programs. ICLP Christoph Beierle
1994	—	`conf`	Formal Design of an Abstract Machine for Constraint Logic Programming. IFIP Congress (1) Christoph Beierle
1994	J	`jnl`	Run-Time Type Computations in the Warren Abstract Machine. J. Log. Program. Christoph Beierle, Gregor Meyer
1993	—	`ed.`	9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146. WLP Christoph Beierle
1993	J	`jnl`	Knowledge Representation for Natural Language Understanding: The L IEEE Trans. Knowl. Data Eng. Christoph Beierle, Udo Pletat, Rudi Studer
1992	J	`jnl`	An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
1992	—	`conf`	Knowledge Based PPS Applications in PROTOS-L. Logic Programming Summer School Christoph Beierle
1992	J	`jnl`	Logic programming with typed unification and its realization on an abstract machine. IBM J. Res. Dev. Christoph Beierle
1992	J	`jnl`	Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken IWBS Report Gregor Meyer, Christoph Beierle, Ralph Scheubrein
1992	J	`jnl`	Prolog at IBM: An Advanced and Evolving Application Development Technology. IBM Syst. J. Michel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle
1991	—	`conf`	A Brief Description of the PROTOS-L System. PDK Christoph Beierle, Gregor Meyer, Heiner Semle
1991	J	`jnl`	A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof IWBS Report Christoph Beierle, Egon Börger
1991	J	`jnl`	An Overview on Planning Applications in PROTOS-L IWBS Report Christoph Beierle
1991	B	`conf`	Correctness Proof For the WAM with Types. CSL Christoph Beierle, Egon Börger
1991	J	`jnl`	Correctness Proof for the WAM IWBS Report Christoph Beierle, Egon Börger
1991	J	`jnl`	Draft Report of the Logic Programming Language PROTOS-L IWBS Report Christoph Beierle, Stefan Böttcher, Gregor Meyer
1991	J	`jnl`	Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution IWBS Report Christoph Beierle, Gregor Meyer, Heiner Semle
1991	—	`conf`	Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP Christoph Beierle, Gregor Meyer, Heiner Semle
1990	J	`jnl`	An Order-Sorted Logic for Knowledge Representation Systems IWBS Report Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
1990	J	`jnl`	Stepwise Software Development with Algebraic Specifications IWBS Report Christoph Beierle, Angi Voß
1989	J	`jnl`	An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann
1989	J	`jnl`	Database Support for the PROTOS-L System IWBS Report Stefan Böttcher, Christoph Beierle
1989	J	`jnl`	Database support for the PROTOS-L system. Microprocessing and Microprogramming Stefan Böttcher, Christoph Beierle
1989	J	`jnl`	PROTOS-L: Towards a Knowledge Base Programming Language IWBS Report Christoph Beierle, Stefan Böttcher
1989	—	`conf`	PROTOS-L: Towards a Knowledge Base Programming Language. Wissensbasierte Systeme Christoph Beierle, Stefan Böttcher
1989	J	`jnl`	The Algebra of Feature Graph Specifications IWBS Report Christoph Beierle, Udo Pletat
1989	J	`jnl`	Types, Modules and Databases in the Logic Programming Language PROTOS-L IWBS Report Christoph Beierle
1989	—	`conf`	Types, Modules and Databases in the Logic Programming Language PROTOS-L. Sorts and Types in Artificial Intelligence Christoph Beierle
1988	J	`jnl`	An Algebraic Characterization of STUF LILOG-Report Christoph Beierle, Udo Pletat, Hans Uszkoreit
1988	—	`conf`	An Algebraic Characterization of STUF. Computerlinguistik und ihre theoretischen Grundlagen Christoph Beierle, Udo Pletat, Hans Uszkoreit
1988	J	`jnl`	Feature Graphs and Abstract Data Types: A Unifying Approach LILOG-Report Christoph Beierle, Udo Pletat
1988	B	`conf`	Feature graphs and abstract data types: a unifying approach. COLING Christoph Beierle, Udo Pletat
1988	—	`conf`	Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP Christoph Beierle, Udo Pletat
1988	J	`jnl`	Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung LILOG-Report Christoph Beierle, Walter G. Olthoff, Angi Voß
1988	J	`jnl`	Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Inform. Spektrum Christoph Beierle, Walter G. Olthoff, Angi Voß
1988	J	`jnl`	Semantics of Logic Programs with Equational Abstract Data Type Specifications LILOG-Report Christoph Beierle, Udo Pletat
1988	J	`jnl`	Semantische Aspekte des algebraischen Programmierens / Semantical Aspects of Algebraic Programming. it Inf. Technol. Christoph Beierle
1988	B	`conf`	The Knowledge Representation Language L CSL Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
1988	J	`jnl`	The Knowledge Representation Language L LILOG-Report Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
1987	A	`conf`	On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. STACS Christoph Beierle, Angi Voß
1987	—	`conf`	On the Integration of Equality, Sorts, and Logic Programming. ÖGAI Christoph Beierle, Udo Pletat
1987	J	`jnl`	On the Interpretation of Equality, Sorts, and Logic Programming LILOG-Report Christoph Beierle, Udo Pletat
1987	J	`jnl`	The Semantics of Asserting and Retracting Clauses to Logic Programs LILOG-Report Udo Pletat, Christoph Beierle
1987	—	`conf`	Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. TAPSOFT, Vol.2 Christoph Beierle, Angi Voß
1987	—	`conf`	Viewing Implementations as an Institution. Category Theory and Computer Science Christoph Beierle, Angi Voß
1986	—	`conf`	A Software Development Environment Integrating Specification and Programming Languages. Software-Architektur Christoph Beierle, Walter G. Olthoff, Angi Voß
1986	—	`—`	Algebraic implementations in an integrated software development and verification system. Christoph Beierle
1986	A	`conf`	Automatic Theorem Proving in the ISDV System. CADE Christoph Beierle, Walter G. Olthoff, Angi Voß
1986	—	`conf`	Vertical and Horizontal Compositions of Implementation Specifications. ADT Christoph Beierle
1984	—	`conf`	Implementation Specifications. ADT Christoph Beierle, Angi Voß
1983	—	`conf`	A Parameterization Concept for Hierarchies of Specifications. ADT Christoph Beierle, Angi Voß
1982	—	`conf`	Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. ADT Christoph Beierle, Angi Voß
1982	A	`conf`	Synthesizing Minimal Programs from Traces of Observable Behaviour. ECAI Christoph Beierle