Christoph Beierle
Orcid: 0000-0002-0736-8516Affiliations:
- University of Hagen, Germany
According to our database1,
Christoph Beierle
authored at least 246 papers
between 1982 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Approximations of system W for inference from strongly and weakly consistent belief bases.
Int. J. Approx. Reason., 2024
An implementation of nonmonotonic reasoning with c-representations using an SMT solver.
Int. J. Approx. Reason., 2024
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
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024
2023
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
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
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023
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
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Digit. Scholarsh. Humanit., 2022
Ann. Math. Artif. Intell., 2022
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings.
Ann. Math. Artif. Intell., 2022
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the KI 2022: Advances in Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
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
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022
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
CoRR, 2021
Ann. Math. Artif. Intell., 2021
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.
Artif. Intell., 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021
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
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
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
Proceedings of the Foundations of Information and Knowledge Systems, 2020
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
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
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
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
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
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
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
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
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
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
Proceedings of the Foundations of Information and Knowledge Systems, 2018
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018
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
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
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
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
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
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
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
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
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
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
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
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
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
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013
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
Künstliche Intell., 2012
Log. J. IGPL, 2012
Ann. Math. Artif. Intell., 2012
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012
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
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
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
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
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
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
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
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
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009
2008
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
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
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007
2006
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006
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
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
Proceedings of the Nonmonotonic Reasoning, 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2004
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004
2003
Proceedings of the Logic for Programming, 2003
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 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
Proceedings of the Conditionals, Information, and Inference, International Workshop, 2002
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
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
Proceedings of the Informatik '99, 1999
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999
1996
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
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
IBM Syst. J., 1992
IBM J. Res. Dev., 1992
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
Proceedings of the Processing Declarative Knowledge, 1991
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
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
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
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
Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987
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
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
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