Abstract.
The capabilities of a automated theorem prover's interface are essential for the effective use of (interactive) proof systems. LΩUI 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. LΩUI is realized in an agent-based client-server architecture and implemented in the concurrent constraint programming language Oz.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received November 1998 / Accepted in revised form June 1999
Rights and permissions
About this article
Cite this article
Siekmann, J., Hess, S., Benzmüller, C. et al. LΩUI: Lovely ΩMEGA User Interface. Formal Aspects of Computing 11, 326–342 (1999). https://doi.org/10.1007/s001650050053
Issue Date:
DOI: https://doi.org/10.1007/s001650050053