Matelas: A Predicate Calculus Common Formal Definition for Social Networking.
Néstor CatañoCamilo RuedaPublished in: ASM (2010)
Keyphrases
- social networking
- predicate calculus
- first order logic
- formal model
- social networks
- semantic network
- predicate logic
- social media
- theorem proving
- lambda calculus
- social bookmarking
- personal information
- crowd sourcing
- data collection
- user behavior
- social software
- informal learning
- social activities
- theorem prover
- social networking sites
- online social networks
- social networking websites
- online social networking
- content sharing
- search engine
- online communities
- knowledge base
- e learning