Christian Holzbaur

Publication Activity (10 Years)

Years Active: 1985-2006
Publications (10 Years): 0

Publications

Alexander K. Seewald, Christian Holzbaur, Gerhard Widmer
Evaluation of term utility functions for very short multidocument summaries. Appl. Artif. Intell. 20 (1) (2006)
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
Optimizing compilation of constraint handling rules in HAL. Theory Pract. Log. Program. 5 (4-5) (2005)
Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur
Introduction to the Special Issue on Constraint Handling Rules. Theory Pract. Log. Program. 5 (4-5) (2005)
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
Optimizing compilation of constraint handling rules in HAL CoRR (2004)
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)
Thom W. Frühwirth, Christian Holzbaur
Source-to-Source Transformation for a Class of Expressive Rules. APPIA-GULP-PRODE (2003)
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
Extending arbitrary solvers with constraint handling rules. PPDP (2003)
Johannes Fürnkranz, Christian Holzbaur, Robert Temel
User Profiling for the MELVIL Knowledge Retrieval System. Appl. Artif. Intell. 16 (4) (2002)
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)
Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey
Optimizing Compilation of Constraint Handling Rules. ICLP (2001)
Christian Holzbaur, Thom W. Frühwirth
A PROLOG Constraint Handling Rules Compiler and Runtime System. Appl. Artif. Intell. 14 (4) (2000)
Christian Holzbaur, Thom W. Frühwirth
Guest Editorial. Appl. Artif. Intell. 14 (4) (2000)
Christian Holzbaur, Thom W. Frühwirth
Compiling Constraint Handling Rules into Prolog with Attributed Variables. PPDP (1999)
Christian Holzbaur, Francisco Menezes, Pedro Barahona
Defeasibility in CLP(Q) through Generalized Slack Variables. CP (1996)
Igor Mozetic, Christian Holzbaur
Controlling the Complexity in Model-Based Diagnosis. Ann. Math. Artif. Intell. 11 (1-4) (1994)
Christian Holzbaur
Metastructures versus Attributed Variables in the Context of Extensible Unification. PLILP (1992)
Igor Mozetic, Christian Holzbaur
Model-Based Diagnosis with Constraint Logic Programs. ÖGAI (1991)
Igor Mozetic, Christian Holzbaur
Integrating Numerical and Qualitative Models within Constraint Logic Programming. ISLP (1991)
Igor Mozetic, Christian Holzbaur, Franc Novak, Marina Santo Zarnik
Model-Based Analogue Circuit Diagnosis with CLP(R). Wissensbasierte Systeme (1991)
Igor Mozetic, Christian Holzbaur
Extending Explanation-Based Generalization by Abstraction Operators. EWSL (1991)
Christian Holzbaur
Realisierung durchgehender Uniformität im Knowledge Engineering Tool VIE-KET. Wissensbasierte Systeme (1987)
Christian Holzbaur
Synthesis of Hybrid Languages. Appl. Artif. Intell. 1 (1) (1987)
Bernhard Pfahringer, Christian Holzbaur
VIE-KET: Frames + Prolog. ÖGAI (1985)