— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
In recent years, fuzzy logic has been applied successfully to a wide range of problems. This paper shows how it can be utilized in the area of spatial reasoning, in particular geo...
In the first section wegive a very short surveyon current researchon web-basededucationalsystemsand relatedproblems.Inthesecondsectionwearguethat knowledgerepresentationandontolog...
Christoph Peylo, Wilfried Teiken, Claus-Rainer Rol...