| 2006 |
|---|
| 23 | EE | Alexander K. Seewald,
Christian Holzbaur,
Gerhard Widmer:
Evaluation of term utility functions for very short multidocument summaries.
Applied Artificial Intelligence 20(1): 57-77 (2006) |
| 2005 |
|---|
| 22 | EE | Slim Abdennadher,
Thom W. Frühwirth,
Christian Holzbaur:
Introduction to the Special Issue on Constraint Handling Rules.
TPLP 5(4-5): 401-402 (2005) |
| 21 | EE | Christian Holzbaur,
Maria J. García de la Banda,
Peter J. Stuckey,
Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL.
TPLP 5(4-5): 503-531 (2005) |
| 2004 |
|---|
| 20 | EE | Gregory J. Duck,
Peter J. Stuckey,
Maria J. García de la Banda,
Christian Holzbaur:
The Refined Operational Semantics of Constraint Handling Rules.
ICLP 2004: 90-104 |
| 19 | EE | Christian Holzbaur,
Maria J. García de la Banda,
Peter J. Stuckey,
Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL
CoRR cs.PL/0408025: (2004) |
| 2003 |
|---|
| 18 | | Thom W. Frühwirth,
Christian Holzbaur:
Source-to-Source Transformation for a Class of Expressive Rules.
APPIA-GULP-PRODE 2003: 386-397 |
| 17 | EE | Gregory J. Duck,
Peter J. Stuckey,
Maria J. García de la Banda,
Christian Holzbaur:
Extending arbitrary solvers with constraint handling rules.
PPDP 2003: 79-90 |
| 2002 |
|---|
| 16 | EE | Johannes Fürnkranz,
Christian Holzbaur,
Robert Temel:
User Profiling for the MELVIL Knowledge Retrieval System.
Applied Artificial Intelligence 16(4): 243-281 (2002) |
| 2001 |
|---|
| 15 | EE | Christian Holzbaur,
Maria J. García de la Banda,
David Jeffery,
Peter J. Stuckey:
Optimizing Compilation of Constraint Handling Rules.
ICLP 2001: 74-89 |
| 14 | EE | Maria J. García de la Banda,
David Jeffery,
Kim Marriott,
Nicholas Nethercote,
Peter J. Stuckey,
Christian Holzbaur:
Building Constraint Solvers with HAL.
ICLP 2001: 90-104 |
| 2000 |
|---|
| 13 | | Christian Holzbaur,
Thom W. Frühwirth:
Guest Editorial.
Applied Artificial Intelligence 14(4): 309-310 (2000) |
| 12 | | Christian Holzbaur,
Thom W. Frühwirth:
A PROLOG Constraint Handling Rules Compiler and Runtime System.
Applied Artificial Intelligence 14(4): 369-388 (2000) |
| 1999 |
|---|
| 11 | | Christian Holzbaur,
Thom W. Frühwirth:
Compiling Constraint Handling Rules into Prolog with Attributed Variables.
PPDP 1999: 117-133 |
| 1996 |
|---|
| 10 | | Christian Holzbaur,
Francisco Menezes,
Pedro Barahona:
Defeasibility in CLP(Q) through Generalized Slack Variables.
CP 1996: 209-223 |
| 1994 |
|---|
| 9 | | Igor Mozetic,
Christian Holzbaur:
Controlling the Complexity in Model-Based Diagnosis.
Ann. Math. Artif. Intell. 11(1-4): 297-314 (1994) |
| 1992 |
|---|
| 8 | | Christian Holzbaur:
Metastructures versus Attributed Variables in the Context of Extensible Unification.
PLILP 1992: 260-268 |
| 1991 |
|---|
| 7 | | Igor Mozetic,
Christian Holzbaur:
Model-Based Diagnosis with Constraint Logic Programs.
ÖGAI 1991: 168-180 |
| 6 | | Igor Mozetic,
Christian Holzbaur:
Extending Explanation-Based Generalization by Abstraction Operators.
EWSL 1991: 282-297 |
| 5 | | Igor Mozetic,
Christian Holzbaur:
Integrating Numerical and Qualitative Models within Constraint Logic Programming.
ISLP 1991: 678-693 |
| 4 | | Igor Mozetic,
Christian Holzbaur,
Franc Novak,
Marina Santo Zarnik:
Model-Based Analogue Circuit Diagnosis with CLP(R).
Wissensbasierte Systeme 1991: 343-353 |
| 1987 |
|---|
| 3 | | Christian Holzbaur:
Realisierung durchgehender Uniformität im Knowledge Engineering Tool VIE-KET.
Wissensbasierte Systeme 1987: 106-115 |
| 2 | | Christian Holzbaur:
Synthesis of Hybrid Languages.
Applied Artificial Intelligence 1(1): 39-52 (1987) |
| 1985 |
|---|
| 1 | | Bernhard Pfahringer,
Christian Holzbaur:
VIE-KET: Frames + Prolog.
ÖGAI 1985: 132-139 |
