An agent-based curve-digitizing system for well-logging data management | IEEE Conference Publication | IEEE Xplore