Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Representing argumentation schemes with Constraint Handling Rules (CHR)
Gordon, Thomas F.; Friedrich, Horst; Walton, Douglas
Zeitschriftenaufsatz
201023rd Workshop on (Constraint) Logic Programming 2009. Proceedings
: Geske, Ulrich (Hrsg.); Wolf, Armin (Hrsg.)
Tagungsband
200014. Workshop Logische Programmierung 2000
: Bry, F.; Geske, U.; Seipel, D.
Tagungsband
2000Implementierung von built-in Constraints für endliche Wertebereiche in Minerva
Ringwelski, G.; Wolf, A.; Geske, U.
Vortrag
1998Constraint-based planning and simulation of multiresource problems
Geske, U.; Goltz, H.-J.; John, U.; Matzke, D.; Wolf, A.
Buch
1998Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen
: Geske, U.; Goerigk, W.
Tagungsband
1994Foretracking versus backtracking in AI languages
Darlington, J.L.; Fonio, H.
Konferenzbeitrag
1993Verteilte Begründungsverwaltung
Horstmann, T.
Aufsatz in Buch
1992How to use guarded functional programming
Dietrich, R.
Konferenzbeitrag
1992A systematic method for designing abstract narrowing machines
Lock, H.C.R.
Konferenzbeitrag
1990A spreadsheet interface for logic programming
Spenke, M.; Beilken, C.
Aufsatz in Buch
1989A spreadsheet interface for logic programming
Spenke, M.; Beilken, C.
Konferenzbeitrag
1988Investigations into the foundations of functional programming and an implementation of existential quantification on a Lambda calculus based reduction machine
Schlütter, H.
Bericht