Advertisement

Formal Aspects of Computing

, Volume 11, Issue 3, pp 326–342 | Cite as

LΩUI: Lovely ΩMEGA User Interface

  • 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
Original Paper

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.

Keywords: Automated deduction; Mathematics; User interface; Agents; Distributed Artificial Intelligence; Human Computer Interaction 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1999

Authors and Affiliations

  • Jörg Siekmann
    • 1
  • Stephan Hess
    • 1
  • Christoph Benzmüller
    • 1
  • Lassaad Cheikhrouhou
    • 1
  • Armin Fiedler
    • 1
  • Helmut Horacek
    • 1
  • Michael Kohlhase
    • 1
  • Karsten Konrad
    • 1
  • Andreas Meier
    • 1
  • Erica Melis
    • 1
  • Martin Pollet
    • 1
  • Volker Sorge
    • 1
  1. 1.FB Informatik, Universität des Saarlandes, Saarbrücken, GermanyDE

Personalised recommendations