Paper Info
Title
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher
Abstract
As in any other scientific field, the quality control (by peer reviewing), archiving and distribution of knowledge in mathematics is organized by journals. Currently, mathematical journals represent huge chunks of knowledge that sit passively on a shelf and wait for a human user to read or query them. In contrast, what we want to achieve in this project is the transformation of the knowledge contained in mathematical journals into formal mathematical knowledge bases that behave as active reasoning agents.
Year
DOI
Venue
2007
10.1109/SYNASC.2007.90
SYNASC
Keywords
Field
DocType
scientific field,human user,active reasoning agent,formal mathematical knowledge base,active math-agents,quality control,huge chunk,mathematics publisher,mathematical journal,multi agent systems,knowledge management,publishing,knowledge base
World Wide Web,Computer science,Mathematical knowledge management,Knowledge management,Theoretical computer science,Multi-agent system,Publishing
Conference
ISBN
Citations 
PageRank 
0-7695-3078-8
0
0.34
References 
Authors
1
1
Name
Order
Citations
PageRank
Bruno Buchberger1847168.26