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

• Authors:

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

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
• Year:
• 2002