Dirk Salecker

According to our database, Dirk Salecker authored at least 2 papers between 1999 and 2002.

Collaborative distances:

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

2002

System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge.

Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke, Dirk Salecker

Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

1999

Validation Manager - A Tool for AI Systems' Evaluation by a Turing Test-Like Methodology.

Dirk Salecker, Rainer Knauf

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999