Christoph Beierle

Orcid: 0000-0002-0736-8516

Affiliations:
  • University of Hagen, Germany


According to our database1, Christoph Beierle authored at least 244 papers between 1982 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Formal and cognitive reasoning.
Int. J. Approx. Reason., 2024

Core c-Representations and c-Core Closure for Conditional Belief Bases.
Proceedings of the Foundations of Information and Knowledge Systems, 2024

Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin.
Proceedings of the Foundations of Information and Knowledge Systems, 2024

Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference.
Proceedings of the Foundations of Information and Knowledge Systems, 2024

Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems.
Proceedings of the Foundations of Information and Knowledge Systems, 2024

A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W.
Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024

2023
Activation-based Conditional Inference.
FLAP, 2023

Epistemic State Mappings among Ranking Functions and Total Preorders.
FLAP, 2023

Joining Formal and Cognitive Reasoning.
FLAP, 2023

A kinematics principle for iterated revision.
Artif. Intell., 2023

Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds.
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Rational Closure Extension in SPO-Representable Inductive Inference Operators.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Conditionals, Infeasible Worlds, and Reasoning with System W.
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Observational Equivalence of Conditional Belief Bases.
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

Approximations of System W Between c-Inference, System Z, and Lexicographic Inference.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

Conditional Syntax Splitting for Non-monotonic Inference Operators.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Using finite-state machines to automatically scan Ancient Greek hexameter.
Digit. Scholarsh. Humanit., 2022

Model Transformations for Ranking Functions and Total Preorders.
CoRR, 2022

A Conditional Perspective on the Logic of Iterated Belief Contraction.
CoRR, 2022

Nonmonotonic reasoning from conditional knowledge bases with system W.
Ann. Math. Artif. Intell., 2022

Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings.
Ann. Math. Artif. Intell., 2022

From Forgetting Signature Elements to Forgetting Formulas in Epistemic States.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

Characterizing Multipreference Closure with System W.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

Iterated Belief Change, Computationally.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Inference with System W Satisfies Syntax Splitting.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

An Implementation of Nonmonotonic Reasoning with System W.
Proceedings of the KI 2022: Advances in Artificial Intelligence, 2022

Conditional Independence for Iterated Belief Revision.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Properties of System W and Its Relationships to Other Inductive Inference Operators.
Proceedings of the Foundations of Information and Knowledge Systems, 2022

Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning.
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

Normal Forms of Conditional Belief Bases Respecting Inductive Inference.
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

Realization of c-Inference as a SAT Problem.
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021
Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations.
Int. J. Approx. Reason., 2021

Conditional Inference and Activation of Knowledge Entities in ACT-R.
CoRR, 2021

Forgetting Formulas and Signature Elements in Epistemic States.
CoRR, 2021

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope.
CoRR, 2021

Using Finite-State Machines to Automatically Scan Classical Greek Hexameter.
CoRR, 2021

Ranking kinematics for revising by contextual information.
Ann. Math. Artif. Intell., 2021

Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.
Artif. Intell., 2021

Towards a framework of hansson's descriptor revision for conditionals.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

A Brief Introduction Into Activation-Based Conditional Inference.
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

Conditional Descriptor Revision and Its Modelling by a CSP.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation.
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures.
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Semantic Splitting of Conditional Belief Bases.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Syntax Splitting for Iterated Contractions.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2020

Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.
Proceedings of the Foundations of Information and Knowledge Systems, 2020

Transforming Conditional Knowledge Bases into Renaming Normal Form.
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

A Conditional Perspective for Iterated Belief Contraction.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Cognitive Logics - Features, Formalisms, and Challenges.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic.
Sci. Comput. Program., 2019

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., 2019

Intentional Forgetting: An Emerging Field in AI and Beyond.
Künstliche Intell., 2019

Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management.
Künstliche Intell., 2019

Intentional Forgetting: A Huge Potential for Organizations - Interview with Prof. Norbert Gronau, University of Potsdam.
Künstliche Intell., 2019

Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents.
Appl. Intell., 2019

Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations.
Ann. Math. Artif. Intell., 2019

Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Belief Change Properties of Forgetting Operations over Ranking Functions.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Implementation of Trajectory Planning for Automated Driving Systems using Constraint Logic Programming.
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks.
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

Axiomatic Evaluation of Epistemic Forgetting Operators.
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations.
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

Decrement Operators in Belief Change.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

On the Antecedent Normal Form of Conditional Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem.
Ann. Math. Artif. Intell., 2018

Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

Compilation of Conditional Knowledge Bases for Computing C-Inference Relations.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

Decision Support Core System for Cancer Therapies Using ASP-HEX.
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

Towards a Formal Foundation of Cognitive Architectures.
Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Abstract State Machines with Exact Real Arithmetic.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
A Practical Comparison of Qualitative Inferences with Preferred Ranking Models.
Künstliche Intell., 2017

System Z<sup>FO</sup>: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases.
Int. J. Approx. Reason., 2017

Management of uncertainty in Artificial Intelligence and databases.
Int. J. Approx. Reason., 2017

A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic.
FLAP, 2017

Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
Ann. Math. Artif. Intell., 2017

First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Regular and Sufficient Bounds of Finite Domain Constraints for Skeptical C-Inference.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

On Transformations and Normal Forms of Conditional Knowledge Bases.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Iterated contraction of propositions and conditionals under the principle of conditional preservation.
Proceedings of the GCAI 2017, 2017

On the Interrelationships Among C-Inference Relations Based on Preferred Models for Sets of Default Rules.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Comparison of Inference Relations Defined over Different Sets of Ranking Functions.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

Using Methods of Computational Linguistics for Resolving the "Homeric Question".
Proceedings of the 12th Annual International Conference of the Alliance of Digital Humanities Organizations, 2017

On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017

2016
Dynamics of Knowledge and Belief.
J. Appl. Log., 2016

Preface.
Ann. Math. Artif. Intell., 2016

Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem.
Proceedings of the Foundations of Information and Knowledge Systems, 2016

Systems and Implementations for Solving Reasoning Problems in Conditional Logics.
Proceedings of the Foundations of Information and Knowledge Systems, 2016

Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases.
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On the Relationship Between Aggregating Semantics and FO-PCL Grounding Semantics for Relational Probabilistic Conditionals.
Proceedings of the Computational Models of Rationality, 2016

A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence.
Proceedings of the Computational Models of Rationality, 2016

2015
Extending and Completing Probabilistic Knowledge and Beliefs Without Bias.
Künstliche Intell., 2015

A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics.
J. Appl. Log., 2015

Uncertain reasoning at FLAIRS.
J. Appl. Log., 2015

Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases.
Entropy, 2015

Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics.
Ann. Math. Artif. Intell., 2015

Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics.
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics.
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study.
Proceedings of the Man-Machine Interactions 4, 2015

A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases.
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

A System Z-like Approach for First-Order Default Reasoning.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014
A novel meta-analytic approach: Mining frequent co-activation patterns in neuroimaging databases.
NeuroImage, 2014

A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts.
Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014

Probabilistic Knowledge Representation Using Gröbner Basis Theory.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy.
Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

Implementation of a Transformation System for Relational Probabilistic Knowledge Bases Simplifying the Maximum Entropy Model Computation.
Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation.
Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics.
Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage.
Computational intelligence, SpringerVieweg, ISBN: 978-3-8348-1896-6, 2014

2013
Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry.
Proceedings of the Declarative Programming and Knowledge Management, 2013

Special Track on Uncertain Reasoning.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

On the Problem of Reversing Relational Inductive Knowledge Representation.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications.
Trans. Large Scale Data Knowl. Centered Syst., 2012

Aspects of Universitarian Distance Teaching and Online Learning.
Künstliche Intell., 2012

Editorial: Relational approaches to knowledge representation and learning.
Log. J. IGPL, 2012

Semantical investigations into nonmonotonic and probabilistic logics.
Ann. Math. Artif. Intell., 2012

An Approach to Learning Relational Probabilistic FO-PCL Knowledge Bases.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Instantiation Restrictions for Relational Probabilistic Conditionals.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Biomedical Diagnosis Based on Ion Mobility Spectrometry - A Case Study Using Probabilistic Relational Modelling and Learning.
Proceedings of the Advances in Computational Intelligence, 2012

Coordinate-Based Pattern-Mining on Functional Neuroimaging Databases.
Proceedings of the Advances on Computational Intelligence, 2012

Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions.
Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

Conditional Objects Revisited: Variants and Model Translations.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

PaMiNI: A comprehensive system for mining frequent neuronal patterns of the human brain.
Proceedings of CBMS 2012, 2012

2011
A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions
CoRR, 2011

Transformation Rules for First-Order Probabilistic Conditional Logic Yielding Parametric Uniformity.
Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation.
Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

On the computation of ranking functions for default rules - A challenge for constraint programming.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications.
Proceedings of the Database and Expert Systems Applications, 2011

2010
Editorial: Dynamics of knowledge and belief.
Log. J. IGPL, 2010

Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods, 2010

The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

A System for Relational Probabilistic Reasoning on Maximum Entropy.
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Automated Reasoning for Relational Probabilistic Knowledge Representation.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
Formal similarities and differences among qualitative conditional semantics.
Int. J. Approx. Reason., 2009

An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Probabilistic Reasoning at Optimum Entropy with the MEcore System.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2008
On the Modelling of an Agent's Epistemic State and its Dynamic Changes.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

A Verified AsmL Implementation of Belief Revision.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 4. Auflage.
Vieweg, ISBN: 978-3-8348-0504-1, 2008

2007
Algebraic Knowledge Discovery Using Haskell.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Learning Uncertain Rules with CONDORCKD.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006
A Note on Comparing Semantics for Conditionals.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

An Extendable System for the Specification and Generation of Interactive Self-tests.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006

Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik.
Proceedings of the DeLFI 2006, 4. e-Learning Fachtagung Informatik, 11.-14. September 2006, 2006

Computer Science Exercises in a Virtual University.
Proceedings of the 2006 International Conference on E-Learning, 2006

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 3. Auflage.
Computational intelligence, Vieweg, ISBN: 978-3-8348-0010-7, 2006

2005
Using Answer Set Programming for a Decision Support System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.
Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005

Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.
Proceedings of the Nonmonotonic Reasoning, 2005

Footprints of Conditionals.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
A Pragmatic Approach to Pre-testing Prolog Programs.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

2003
A Logical Study on Qualitative Default Reasoning with Probabilities.
Proceedings of the Logic for Programming, 2003

An Alternative View of Knowledge Discovery.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Automatic Analysis of Programming Assignments.
Proceedings of the DeLFI 2003, 2003

Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.
Proceedings of the Abstract State Machines, 2003

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 2. Auflage.
Computational intelligence, Vieweg, ISBN: 978-3-528-15723-4, 2003

2002
Looking at Probabilistic Conditionals from an Institutional Point of View.
Proceedings of the Conditionals, Information, and Inference, International Workshop, 2002

Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

On the Interpretation of Uncertain Rules in Prepositional Logic.
Proceedings of the International Conference on Artificial Intelligence, 2002

2001
Function Types in Complete Type Inference.
Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

2000
Defining Standard Prolog in Rewriting Logic.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Detecting common elements of types.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen.
Computational intelligence, Vieweg, ISBN: 978-3-528-05723-7, 2000

1999
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming.
Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

How to Combine the Benefits of Strict and Soft Typing.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

Combining Strict and Soft Typing in Functional Programming.
Proceedings of the Informatik '99, 1999

Using Types as Approximations for Type Checking Prolog Programs.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1996
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types.
Formal Aspects Comput., 1996

Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints.
Formal Aspects Comput., 1996

1995
Type Inferencing for Polymorphic Order-Sorted Logic Programs.
Proceedings of the Logic Programming, 1995

Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code.
Proceedings of the Formal Methods for Industrial Applications, 1995

Concepts, Implementation, and Applications of a Typed Logic Programming Language.
Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994
Run-Time Type Computations in the Warren Abstract Machine.
J. Log. Program., 1994

Formal Design of an Abstract Machine for Constraint Logic Programming.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993
Knowledge Representation for Natural Language Understanding: The L<sub>LILOG</sub> Approach.
IEEE Trans. Knowl. Data Eng., 1993

1992
Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken
IWBS Report, 1992

Prolog at IBM: An Advanced and Evolving Application Development Technology.
IBM Syst. J., 1992

Logic programming with typed unification and its realization on an abstract machine.
IBM J. Res. Dev., 1992

An Order-Sorted Logic for Knowledge Representation Systems.
Artif. Intell., 1992

Knowledge Based PPS Applications in PROTOS-L.
Proceedings of the Logic Programming in Action, 1992

1991
Correctness Proof for the WAM
IWBS Report, 1991

A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof
IWBS Report, 1991

Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution
IWBS Report, 1991

Draft Report of the Logic Programming Language PROTOS-L
IWBS Report, 1991

An Overview on Planning Applications in PROTOS-L
IWBS Report, 1991

A Brief Description of the PROTOS-L System.
Proceedings of the Processing Declarative Knowledge, 1991

Correctness Proof For the WAM with Types.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990
Stepwise Software Development with Algebraic Specifications
IWBS Report, 1990

1989
The Algebra of Feature Graph Specifications
IWBS Report, 1989

PROTOS-L: Towards a Knowledge Base Programming Language
IWBS Report, 1989

Types, Modules and Databases in the Logic Programming Language PROTOS-L
IWBS Report, 1989

An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information
IWBS Report, 1989

Database support for the PROTOS-L system.
Microprocessing and Microprogramming, 1989

1988
The Knowledge Representation Language L<sub>LILOG</sub>
LILOG-Report, 1988

An Algebraic Characterization of STUF
LILOG-Report, 1988

Feature Graphs and Abstract Data Types: A Unifying Approach
LILOG-Report, 1988

Semantics of Logic Programs with Equational Abstract Data Type Specifications
LILOG-Report, 1988

Semantische Aspekte des algebraischen Programmierens / Semantical Aspects of Algebraic Programming.
it Inf. Technol., 1988

Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung.
Inform. Spektrum, 1988

Integrating Logic Programming and Equational Specification of Abstract Data Types.
Proceedings of the Algebraic and Logic Programming, 1988

1987
The Semantics of Asserting and Retracting Clauses to Logic Programs
LILOG-Report, 1987

On the Interpretation of Equality, Sorts, and Logic Programming
LILOG-Report, 1987

Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition.
Proceedings of the STACS 87, 1987

On the Integration of Equality, Sorts, and Logic Programming.
Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987

Viewing Implementations as an Institution.
Proceedings of the Category Theory and Computer Science, 1987

1986
Algebraic implementations in an integrated software development and verification system.
PhD thesis, 1986

A Software Development Environment Integrating Specification and Programming Languages.
Proceedings of the Software-Architektur und modulare Programmierung, 1986

Automatic Theorem Proving in the ISDV System.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

Vertical and Horizontal Compositions of Implementation Specifications.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984
Implementation Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1984

1983
A Parameterization Concept for Hierarchies of Specifications.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982
Synthesizing Minimal Programs from Traces of Observable Behaviour.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras.
Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982


  Loading...