Skip to main content

Advertisement

SpringerLink
Log in

LΩUI: Lovely ΩMEGA User Interface

  • Original Paper
  • Published:
Formal Aspects of Computing

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. FB Informatik, Universität des Saarlandes, Saarbrücken, Germany, , , , , , DE

    Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet & Volker Sorge

Authors
  1. Jörg Siekmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephan Hess
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christoph Benzmüller
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Lassaad Cheikhrouhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Armin Fiedler
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Helmut Horacek
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Michael Kohlhase
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Karsten Konrad
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Andreas Meier
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Erica Melis
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Martin Pollet
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Volker Sorge
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Received November 1998 / Accepted in revised form June 1999

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s001650050053

Search

Navigation