Christoph Beierle

According to our database1, Christoph Beierle authored at least 186 papers between 1982 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Intentional Forgetting Must be Part of the Functionality - Interview with Prof. Otthein Herzog, Jacobs University Bremen, University of Bremen, and Tongij University, Shanghai.
KI, 2019

Intentional Forgetting: An Emerging Field in AI and Beyond.
KI, 2019

Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management.
KI, 2019

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

Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents.
Appl. 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

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.
KI, 2017

System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases.
Int. J. Approx. Reasoning, 2017

Management of uncertainty in Artificial Intelligence and databases.
Int. J. Approx. Reasoning, 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 Digital Humanities 2017, 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. Applied Logic, 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.
KI, 2015

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

Uncertain reasoning at FLAIRS.
J. Applied Logic, 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- and Knowledge-Centered Systems, 2012

Aspects of Universitarian Distance Teaching and Online Learning.
KI, 2012

Editorial: Relational approaches to knowledge representation and learning.
Logic Journal of the 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 Informatik 2012, 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
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 Informatik 2011: Informatik schafft Communities, 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.
Logic Journal of the 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. Reasoning, 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.
ECEASST, 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.
Electr. Notes Theor. Comput. Sci., 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.
Electr. Notes Theor. Comput. Sci., 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 Asp. Comput., 1996

Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints.
Formal Asp. 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 LLILOG 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 Systems Journal, 1992

Logic programming with typed unification and its realization on an abstract machine.
IBM Journal of Research and Development, 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

Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 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

An Order-Sorted Logic for Knowledge Representation Systems
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
IWBS Report, 1989

PROTOS-L: Towards a Knowledge Base Programming Language.
Proceedings of the Wissensbasierte Systeme, 1989

Types, Modules and Databases in the Logic Programming Language PROTOS-L.
Proceedings of the Sorts and Types in Artificial Intelligence, 1989

1988
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung
LILOG-Report, 1988

The Knowledge Representation Language LLILOG
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 - Informationstechnik, 1988

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

An Algebraic Characterization of STUF.
Proceedings of the Computerlinguistik und ihre theoretischen Grundlagen, 1988

The Knowledge Representation Language LLILOG.
Proceedings of the CSL '88, 1988

Feature graphs and abstract data types: a unifying approach.
Proceedings of the 12th International Conference on Computational Linguistics, 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...