A New External Reference Management and Distributed Unification for KL1.
Nobuyuki IchiyoshiKazuaki RokusawaKatsuto NakajimaYu InamuraPublished in: FGCS (1988)
Keyphrases
- kullback leibler
- distributed systems
- management system
- data processing
- mission critical
- multi agent
- cooperative
- distributed environment
- computer networks
- information management
- peer to peer
- information systems
- distributed network
- dynamically created
- network management
- loosely coupled
- distributed processing
- theorem proving
- decision support
- knowledge management
- metadata
- decision making
- data mining
- lightweight
- theorem prover
- databases
- supply chain
- web services
- external information
- configuration management
- neural network