Browsing by Index of Persons Boley, Harold
Showing results 1 to 16 of 16
Year of Publication | Title | Author(s) | Open Access |
1991 | ARC-TEC : acquisition, representation and compilation of technical knowledge | Bernardi, Ansgar; Boley, Harold; Hanschke, Philipp, et al |  |
1993 | COLAB : a hybrid knowledge representation and compilation laboratory | Boley, Harold; Hanschke, Philipp; Hinkelmann, Knut, et al |  |
1990 | Declarative operations on nets | Boley, Harold |  |
1992 | A direct semantic characterization of RELFUN | Boley, Harold |  |
1995 | An environment for exploring and validating declarative knowledge | Abecker, Andreas; Boley, Harold; Hinkelmann, Knut, et al |  |
1992 | Extended logic-plus-functional programming | Boley, Harold |  |
1994 | Finite domains and exclusions as first-class citizens | Boley, Harold |  |
1996 | Knowledge bases in the world wide web : a challenge for logic programming (second, revised edition) | Boley, Harold |  |
1993 | Konzeption einer deklarativen Wissensbasis über recyclingrelevante Materialien | Boley, Harold; Buhrmann, Ulrich; Kremer, Christof |  |
1993 | Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings | Boley, Harold; Bry, François; Geske, Ulrich |  |
1997 | PIMaS : ein objektorientiert-regelbasiertes System zur Produkt-Prozeß-Transformation | Boley, Harold; Bachmann, Bernd; Blum, Christian, et al |  |
1993 | RELFUN guide : programming with relations and functions made easy | Boley, Harold; Andel, Simone; Elsbernd, Klaus, et al |  |
1996 | RFM manual : compiling RELFUN into the relational/functional machine | Boley, Harold; Elsbernd, Klaus; Hein, Hans-Günther, et al |  |
1991 | A sampler of relational/functional definitions (second, revised edition) | - |  |
1994 | Towards a sharable knowledge base on recyclable plastics | Boley, Harold; Buhrmann, Ulrich; Kremer, Christof |  |
1991 | μCAD2NC : a declarative lathe-workplanning model transforming CAD-like geometries into abstract NC programs | Boley, Harold; Hanschke, Philipp; Harm, Martin, et al |  |