Horst Friedrich

According to our database, Horst Friedrich authored at least 9 papers between 1984 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Representing argumentation schemes with Constraint Handling Rules (CHR).

Thomas F. Gordon, Horst Friedrich, Douglas Walton

Argument Comput., 2018

2017

Wissenserwerb als Teil der "Produktionsumgebung Wissensmanagement" der ÖV.

Horst Friedrich, Dietmar Glachs, Jan M. Pawlowski, Eric Ras, Peter Schilling, Juliane Schmeling, Petra Steffens, Julia Stoffregen, Sonja Trapp, Philippe Vallogia

Proceedings of the Tagungsband der 9. Konferenz Professionelles Wissensmanagement (Professional Knowledge Management), 2017

Representing Argumentation Schemes with Constraint Handling Rules (CHR).

Thomas F. Gordon, Horst Friedrich

Proceedings of the 17th Workshop on Computational Models of Natural Argument co-located with ICAIL 2017, 2017

2005

Marktübersicht Wissensportale.

Jan Gottschick, Horst Friedrich, Andreas Billig

Inform. Spektrum, 2005

1999

Der Weg zum Projekterfolg - Management objektorientierter Software-Entwicklungsprojekte.

Horst Friedrich

HMD Prax. Wirtsch., 1999

1997

The FAPU Workbench.

Horst Friedrich, Reiner Witschurke

Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997

1993

A Practical Approach to Type Inference for EuLisp.

Andreas Kind, Horst Friedrich

LISP Symb. Comput., 1993

1992

Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP.

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, Friedemann H. Simon

Künstliche Intell., 1992

1984

Programmverifikation unter Verwendung der formalisierten Darstellung der algorithmischen Idee.

Horst Friedrich

PhD thesis, 1984