Logic Based Information Agents