Buscar recursos académicos

Knowledge is a broad and abstract notion that has defined epistemological debate in western philosophy since the classical Greek era. In the past few years, however, there has been a growing interest in treating knowledg...

Uniform Resource Identifiers are an integral part of the current Architecture of the World Wide Web. This work analyzes the implications and possibilities of using Universal Resource Names as unique and persistent identi...

"The steel industry faces increasing challenges in managing product diversity, maintaining competitiveness, and improving operational efficiency. Within this context, recommendation systems present a promising opportunit...

"In The Fifth Discipline, Peter Senge describes how companies can rid themselves of the learning "disabilities" that threaten their productivity and success by adopting the strategies of learning organizations - ones in ...

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically prove 75% of the Mizar theorems when the au...