Keyphrases
- open systems
- modal logic
- real world
- human computer
- logical framework
- communication systems
- communication networks
- database
- computational properties
- multi valued
- logic programming
- resource constrained
- automated reasoning
- predicate logic
- digital circuits
- artificial intelligence
- case study
- communication channels
- information exchange
- multi agent systems
- mobile devices
- logic programs
- computer networks
- information sharing