MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Christian Holzbaur" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

OFAI clp(Q,R) Manual
by Christian Holzbaur — 1995
… featuring extensible unification via attributed variables. Edition 1.3.3 December 1995 Christian Holzbaur…
Cited by 4 (0 self) – Add To MetaCart

Integration of Extended Unification into a Prolog Interpreter
by Christian Holzbaur — 1990 — Artificial Intelligence
…Integration of Extended Unification into a Prolog Interpreter Christian Holzbaur (email: christian…
Cited by 1 (1 self) – Add To MetaCart

A Specialized, Incremental Solved Form Algorithm for Systems of Linear Inequalities
by Christian Holzbaur — 1994 — Austrian Research Institute for Artificial Intelligence
…A specialized, incremental solved form algorithm for systems of linear inequalities Christian…
Cited by 3 (0 self) – Add To MetaCart

Compiling constraint handling rules into Prolog with attributed variables
by Christian Holzbaur — 1999 — Proceedings of the International Conference on Principles and Practice of Declarative Programming, number 1702 in LNCS
… Compiling Constraint Handling Rules into Prolog with Attributed Variables Christian Holzbaur1…
Cited by 18 (4 self) – Add To MetaCart

Metastructures vs. Attributed Variables in the Context of Extensible Unification - Applied for the Implementation of CLP Languages
by Christian Holzbaur — 1992 — In 1992 International Symposium on Programming Language Implementation and Logic Programming
… for the Implementation of CLP Languages Christian Holzbaur Austrian Research Institute for Artificial Intelligence…
Cited by 34 (0 self) – Add To MetaCart

Join Evaluation Schemata for Constraint Handling Rules (CHR)
by Christian Holzbaur, Thom Frühwirth — 1998
…Join Evaluation Schemata for Constraint Handling Rules (CHR) Christian Holzbaur University…
Add To MetaCart

Extending Explanation-Based Generalization by Abstraction Operators
by Igor Mozetic, Christian Holzbaur — 1991 — In Y. Kodratoff, Ed., Machine Learning --- EWSL-91
…@(email omitted); Christian Holzbaur Austrian Research Institute for Artificial Intelligence, and Department of Medical…
Cited by 2 (2 self) – Add To MetaCart

Model-Based Diagnosis with Constraint Logic Programs
by Igor Mozetic, Christian Holzbaur — 1991 — Proc. 7th Austrian Conf. on Artificial Intelligence, OGAI-91
… for Artificial Intelligence Schottengasse 3, A-1010 Vienna, Austria Christian Holzbaur Austrian Research…
Cited by 1 (1 self) – Add To MetaCart

Source-to-Source Transformation for a Class of Expressive Rules
by Thom Frühwirth, Christian Holzbaur
…Source-to-Source Transformation for a Class of Expressive Rules Thom Fruhwirth and Christian…
Cited by 4 (2 self) – Add To MetaCart

Controlling the Complexity in Model-Based Diagnosis
by Igor Mozetic, Christian Holzbaur — 1993 — Annals of Mathematics and Artificial Intelligence
… for Artificial Intelligence Schottengasse 3, A-1010 Vienna, Austria igor@(email omitted); Christian Holzbaur…
Cited by 12 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB