Christian Holzbaur

Gerhard Widmer

Appl. Artif. Intell., 2006

2005

Optimizing compilation of constraint handling rules in HAL.

[BibT_eX]

[DOI]

Gregory J. Duck

Theory Pract. Log. Program., 2005

Introduction to the Special Issue on Constraint Handling Rules.

[BibT_eX]

[DOI]

Slim Abdennadher

Theory Pract. Log. Program., 2005

2004

The Refined Operational Semantics of Constraint Handling Rules.

[BibT_eX]

[DOI]

Gregory J. Duck

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Extending arbitrary solvers with constraint handling rules.

[BibT_eX]

[DOI]

Gregory J. Duck

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Source-to-Source Transformation for a Class of Expressive Rules.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

User Profiling for the MELVIL Knowledge Retrieval System.

[BibT_eX]

[DOI]

Johannes Fürnkranz

Robert Temel

Appl. Artif. Intell., 2002

2001

Optimizing Compilation of Constraint Handling Rules.

[BibT_eX]

[DOI]

David Jeffery

Proceedings of the Logic Programming, 17th International Conference, 2001

Building Constraint Solvers with HAL.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

A PROLOG Constraint Handling Rules Compiler and Runtime System.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2000

Guest Editorial.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2000

1999

Compiling Constraint Handling Rules into Prolog with Attributed Variables.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1996

Defeasibility in CLP(Q) through Generalized Slack Variables.

[BibT_eX]

[DOI]

Francisco Menezes

Pedro Barahona

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1994

Controlling the Complexity in Model-Based Diagnosis.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1994

1992

Metastructures versus Attributed Variables in the Context of Extensible Unification.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Model-Based Analogue Circuit Diagnosis with CLP(R).

[BibT_eX]

[DOI]

Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

Integrating Numerical and Qualitative Models within Constraint Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Model-Based Diagnosis with Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Proc. 7th Austrian Conference on Artificial Intelligence, 1991

Extending Explanation-Based Generalization by Abstraction Operators.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning, 1991

1987

Synthesis of Hybrid Languages.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 1987

Realisierung durchgehender Uniformität im Knowledge Engineering Tool VIE-KET.

[BibT_eX]

[DOI]

Proceedings of the Wissensbasierte Systeme, 1987

1985

VIE-KET: Frames + Prolog.

[BibT_eX]

[DOI]

Bernhard Pfahringer