| 1. |
Boley, Harold
(1996)
Knowledge bases in the world wide web : a challenge for logic programming (second, revised edition)
Kaiserslautern ; Saarbrücken : DFKI, 1996
Report (Bericht)
|
| 2. |
Boley, Harold ; Elsbernd, Klaus ; Hein, Hans-Günther ; Krause, Thomas ; Perling, Markus ; Sintek, Michael ; Stein, Werner
(1996)
RFM manual : compiling RELFUN into the relational/functional machine
Report (Bericht)
|
| 3. |
Abecker, Andreas ; Boley, Harold ; Hinkelmann, Knut ; Wache, Holger ; Schmalhofer, Franz
(1995)
An environment for exploring and validating declarative knowledge
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 4. |
Boley, Harold
(1994)
Finite domains and exclusions as first-class citizens
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 5. |
Boley, Harold ; Buhrmann, Ulrich ; Kremer, Christof
(1994)
Towards a sharable knowledge base on recyclable plastics
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 6. |
Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Meyer, Manfred
(1993)
COLAB : a hybrid knowledge representation and compilation laboratory
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 7. |
Boley, Harold ; Buhrmann, Ulrich ; Kremer, Christof
(1993)
Konzeption einer deklarativen Wissensbasis über recyclingrelevante Materialien
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 8. |
Boley, Harold ; Bry, François ; Geske, Ulrich
(1993)
Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 9. |
Boley, Harold
(1992)
A direct semantic characterization of RELFUN
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 10. |
Boley, Harold
(1992)
Extended logic-plus-functional programming
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
