Keyphrases
- social networks
- social interaction
- social learning
- social networking
- computational properties
- multi valued
- user interface
- social media
- logic programming
- modal logic
- defeasible logic
- social relationships
- predicate logic
- asynchronous circuits
- proof theory
- sound and complete axiomatization
- automated reasoning
- set theory
- user generated
- virtual communities
- knowledge sharing
- information technology