LOUI

The capabilities of a automated theorem prover's interface are essential for the effective use of (interactive) proof systems. LOUI is the multi-modal interface that combines several features: a graphical display of information in a proof graph, a selective term browser with hypertext facilities, proof and proof plan presentation in natural language, and an editor for adding and maintaining the knowledge base. LOUI is realized in the agent-based client-server architecture MathWeb and implemented in the concurrent constraint programming language mOZart. (Overview)

Researchers

Stephan Hess
Andreas Franke
Serge Autexier
Hakim Abdel Freihat

Design by the OMEGA Group. Send suggestions to omega@ags.uni-sb.de.

Last modified: Mon Jul 17 14:31:53 MEST 2000