Towards Intelligent Distributed Applications Based on Distributed Semantics and Reasoning.
Weichang DuPublished in: SKG (2011)
Keyphrases
- knowledge processing
- default reasoning
- proof theory
- proof theoretic
- logical framework
- agent technology
- logical rules
- distributed systems
- cooperative
- open world
- peer to peer
- knowledge representation
- reasoning tasks
- logic programming
- mobile agents
- knowledge base
- reasoning process
- reasoning systems
- uml class diagrams
- reasoning mechanisms
- graphical representation
- default rules
- computational properties
- computing environments
- distributed environment
- logic programs
- multi agent
- defeasible reasoning
- decision support