Horst Friedrich

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Representing argumentation schemes with Constraint Handling Rules (CHR).
Argument Comput., 2018

2017
Wissenserwerb als Teil der "Produktionsumgebung Wissensmanagement" der ÖV.
Proceedings of the Tagungsband der 9. Konferenz Professionelles Wissensmanagement (Professional Knowledge Management), 2017

Representing Argumentation Schemes with Constraint Handling Rules (CHR).
Proceedings of the 17th Workshop on Computational Models of Natural Argument co-located with ICAIL 2017, 2017

2005
Marktübersicht Wissensportale.
Inform. Spektrum, 2005

1999
Der Weg zum Projekterfolg - Management objektorientierter Software-Entwicklungsprojekte.
HMD Prax. Wirtsch., 1999

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

1993
A Practical Approach to Type Inference for EuLisp.
LISP Symb. Comput., 1993

1992
Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP.
Künstliche Intell., 1992

1984
Programmverifikation unter Verwendung der formalisierten Darstellung der algorithmischen Idee.
PhD thesis, 1984


  Loading...