dblp.uni-trier.dewww.uni-trier.de

Christian Holzbaur Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
23EEAlexander 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
22EESlim Abdennadher, Thom W. Frühwirth, Christian Holzbaur: Introduction to the Special Issue on Constraint Handling Rules. TPLP 5(4-5): 401-402 (2005)
21EEChristian 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
20EEGregory 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
19EEChristian 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
17EEGregory 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
16EEJohannes Fürnkranz, Christian Holzbaur, Robert Temel: User Profiling for the MELVIL Knowledge Retrieval System. Applied Artificial Intelligence 16(4): 243-281 (2002)
2001
15EEChristian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89
14EEMaria 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
8EEChristian 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
6EEIgor 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

Coauthor Index

1Slim Abdennadher [22]
2Maria Garcia de la Banda (Maria J. García de la Banda) [14] [15] [17] [19] [20] [21]
3Pedro Barahona [10]
4Gregory J. Duck [17] [19] [20] [21]
5Thom W. Frühwirth [11] [12] [13] [18] [22]
6Johannes Fürnkranz [16]
7David Jeffery [14] [15]
8Kim Marriott [14]
9Francisco Menezes [10]
10Igor Mozetic [4] [5] [6] [7] [9]
11Nicholas Nethercote [14]
12Franc Novak [4]
13Bernhard Pfahringer [1]
14Alexander K. Seewald [23]
15Peter J. Stuckey [14] [15] [17] [19] [20] [21]
16Robert Temel [16]
17Gerhard Widmer [23]
18Marina Santo Zarnik [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)