Abstract
Around 1990 the work on the first-order theorem prover MKRP stopped after a development going on for more than a decade. Instead a new system has been developed since then, the mathematical assistant ΩMEGA. In this contribution I try to summarise some of the discussions and decisions that led to this shift in focus and to the development of the ΩMEGA system, and I attempt in retrospect to give a tentative evaluation of some of the decisions. © Springer-Verlag Berlin Heidelberg 2005.
Cite
CITATION STYLE
Kerber, M. (2005). From MKRP to ΩMEGA. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2605 LNAI, 139–153. https://doi.org/10.1007/978-3-540-32254-2_9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
