Recording and Analysing Knowledge-Based Distributed Deduction Processes.
Jörg DenzingerStephan SchulzPublished in: J. Symb. Comput. (1996)
Keyphrases
- distributed systems
- lightweight
- distributed environment
- cooperative
- stochastic processes
- expert systems
- case study
- multi agent
- theorem prover
- information technology
- peer to peer
- inference rules
- concurrent processes
- distributed database systems
- automated deduction
- deductive reasoning
- data sets
- computer networks
- process model
- mobile agents
- digital libraries
- search algorithm
- decision making
- databases