Distributed Processes and the Logic of Knowledge.
Rohit ParikhRamaswamy RamanujamPublished in: Logic of Programs (1985)
Keyphrases
- cooperative
- domain knowledge
- knowledge base
- knowledge acquisition
- distributed systems
- higher level
- expert systems
- knowledge management
- intermediate level
- machine learning
- fault tolerant
- neural network
- multi valued
- multi agent
- case study
- artificial intelligence
- data mining techniques
- prior knowledge
- knowledge based systems
- knowledge sharing
- modal logic
- computing environments
- knowledge extraction
- data sets
- predicate logic
- reasoning engine
- concurrent processes
- dynamic epistemic logic