The state of the art for reasoning systems is unsatisfactory in several respects. In most cases, provers are poorly specified, hardly interconnectible, and they require a deep insight of their custom features in order to fully exploit their capabilities. The OMRS project is aimed at providing a general framework for specifying, structuring, and interoperating provers. This paper surveys the current achievements of the research performed within the OMRS project, under both the theoretical and the experimental side, and provides a perspective of its future evolution
The OMRS project: State of the Art
Giunchiglia, Fausto;Bertoli, Piergiorgio;
1998-01-01
Abstract
The state of the art for reasoning systems is unsatisfactory in several respects. In most cases, provers are poorly specified, hardly interconnectible, and they require a deep insight of their custom features in order to fully exploit their capabilities. The OMRS project is aimed at providing a general framework for specifying, structuring, and interoperating provers. This paper surveys the current achievements of the research performed within the OMRS project, under both the theoretical and the experimental side, and provides a perspective of its future evolutionFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
