LΩUI: Lovely ΩMEGA User Interface

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 facilit...

Full description

Saved in:
Bibliographic Details
Published in:Formal aspects of computing Vol. 11; no. 3; pp. 326 - 342
Main Authors: Siekmann, Jörg, Hess, Stephan, Benzmüller, Christoph, Cheikhrouhou, Lassaad, Fiedler, Armin, Horacek, Helmut, Kohlhase, Michael, Konrad, Karsten, Meier, Andreas, Melis, Erica, Pollet, Martin, Sorge, Volker
Format: Journal Article
Language:English
Published: London Springer 01.09.1999
Subjects:
Applied sciences
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Proof theory and constructive mathematics
Sciences and techniques of general use
Software
Multimodal visualization
Lovely Ωmega User Interface
User interface
Distributed artificial intelligence
Man machine relation
Automatic deduction
Automatic proving
Distributed system
Artificial intelligence
ISSN:0934-5043, 1433-299X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0934-5043
1433-299X
DOI:10.1007/s001650050053