Christian Holzbaur

23 papers A 1B 3C 2Journal 9Unranked 8

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