Browsing by Index of Persons Boley, Harold

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 16 of 16
Year of PublicationTitleAuthor(s)Open Access
1991ARC-TEC : acquisition, representation and compilation of technical knowledgeBernardi, Ansgar; Boley, Harold; Hanschke, Philipp, et al
1993COLAB : a hybrid knowledge representation and compilation laboratoryBoley, Harold; Hanschke, Philipp; Hinkelmann, Knut, et al
1990Declarative operations on netsBoley, Harold
1992A direct semantic characterization of RELFUNBoley, Harold
1995An environment for exploring and validating declarative knowledgeAbecker, Andreas; Boley, Harold; Hinkelmann, Knut, et al
1992Extended logic-plus-functional programmingBoley, Harold
1994Finite domains and exclusions as first-class citizensBoley, Harold
1996Knowledge bases in the world wide web : a challenge for logic programming (second, revised edition)Boley, Harold
1993Konzeption einer deklarativen Wissensbasis über recyclingrelevante MaterialienBoley, Harold; Buhrmann, Ulrich; Kremer, Christof
1993Neuere Entwicklungen der deklarativen KI-Programmierung : proceedingsBoley, Harold; Bry, François; Geske, Ulrich
1997PIMaS : ein objektorientiert-regelbasiertes System zur Produkt-Prozeß-TransformationBoley, Harold; Bachmann, Bernd; Blum, Christian, et al
1993RELFUN guide : programming with relations and functions made easyBoley, Harold; Andel, Simone; Elsbernd, Klaus, et al
1996RFM manual : compiling RELFUN into the relational/functional machineBoley, Harold; Elsbernd, Klaus; Hein, Hans-Günther, et al
1991A sampler of relational/functional definitions (second, revised edition)-
1994Towards a sharable knowledge base on recyclable plasticsBoley, Harold; Buhrmann, Ulrich; Kremer, Christof
1991μCAD2NC : a declarative lathe-workplanning model transforming CAD-like geometries into abstract NC programsBoley, Harold; Hanschke, Philipp; Harm, Martin, et al