This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October...

This volume presents a selection of the contributions to the Seventh Workshop on Informatics and Psychology. The theme of the workshop was Visualizati...

This volume contains the invited lectures and selected papers from the Third International Conference on Computer Assisted Learning. The contributions...

SNePS is a state-of-the-art knowledge representation and reasoning system used for artificial intelligence and cognitive science research. It is a sem...

This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing...