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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal aspects of computing Ročník 11; číslo 3; s. 326 - 342
Hlavní autoři:	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
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London Springer 01.09.1999
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
Shrnutí:	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