A Logics Workbench

Issue title: The Swiss priority programme in informatics research, module knowledge-based systems

Article type: Research Article

Authors: Heuerding, Alain | Jäger, Gerhard | Schwendimann, Stefan | Seyfried, Michael

Affiliations: IAM, Institut für Informatik and angewandte Mathematik, University of Berne, Switzerland. E-mail: [email protected]

Abstract: The Logics Workbench is an interactive system aiming to facilitate the access to logic formalisms for nonspecialists as well as specialists. It is an integrated system which provides a library of the most important propositional calculi and many algorithms in this area. Special emphasis is put on a clear design of the human interface and a powerful information system, which covers on-line help and documentation.

DOI: 10.3233/AIC-1996-9203

Journal: AI Communications, vol. 9, no. 2, pp. 53-58, 1996