DFKI Publications by Boley, Harold

D-91-03

with Klaus Elsbernd , Hans-Günther Hein , Thomas Krause
RFM Manual: Compiling RELFUN into the Relational/Functional Machine

D-91-15

with Philipp Hanschke , Martin Harm , Knut Hinkelmann , Thomas Labisch , Manfred Meyer , Jörg Müller , Thomas Oltzen , Michael Sintek , Werner Stein , Frank Steinle
CAD2NC: A Declarative Lathe-Workplanning Model Transforming CAD-like Geometries into Abstract NC Programs

D-93-12

with Klaus Elsbernd , Michael Herfert , Michael Sintek , Werner Stein
RELFUN Guide: Programming with Relations and Functions Made Easy

D-97-07

with Bernd Bachmann , Christian Blum , Christian Embacher , Andreas Lorenz , Jamel Zakraoui
PIMaS:
Ein objektorientiert-regelbasiertes System zur Produkt-Prozeß-Transformation

FR-97-01

with Andreas Abecker , Knut Hinkelmann , Otto Kühn , Manfred Meyer , Harald Meyer auf'm Hofe , Franz Schmalhofer , Holger Wache
VEGA Knowledge Validation and Exploration by Global Analysis

RR-90-12

Declarative Operations on Nets

RR-91-27

with A. Bernardi , Ph. Hanschke , K. Hinkelmann , Ch. Klauck , O. Kühn , R. Legleitner , M. Meyer , M. M. Richter , F. Schmalhofer , G. Schmidt , W. Sommer
ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

RR-92-03

Extended Logic-plus-Functional Programming

RR-92-54

A Direkt Semantic Characterization of RELFUN

RR-93-08

with Philipp Hanschke , Knut Hinkelmann , Manfred Meyer
COLAB: A Hybrid Knowledge Representation and Compilation Laboratory

RR-94-07

Finite Domains and Exclusions as First-Class Citizens

RR-94-14

with Ulrich Buhrmann , Christof Kremer
Towards a Sharable Knowledge Base on Recyclable Plastics

TM-93-03

with Ulrich Buhrmann , Christof Kremer
Konzeption einer deklarativen Wissensbasis über recyclingrelevante Materialien

TM-95-03

with Andreas Abecker , Knut Hinkelmann , Holger Wache , Franz Schmalhofer
An Environment for Exploring and Validating Declarative Knowledge

TM-96-02

Knowledge Bases in the World Wide Web:
A Challenge for Logic Programming (Second, Revised Edition)

Edited:

RR-93-35

with François Bry , Ulrich Geske (Eds.)
Neuere Entwicklungen der deklarativen KI-Programmierung --- Proceedings

TM-91-04

A Sampler of Relational/Functional Definitions
(Second, Revised Edition)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.