A New Semantics of Social Commitments Using Branching Space-Time Logic.
Mohamed El-MenshawyJamal BentaharRachida DssouliPublished in: Web Intelligence/IAT Workshops (2009)
Keyphrases
- space time
- logic programming
- proof theory
- spatio temporal
- spatial and temporal
- video sequences
- propositional dynamic logic
- sound and complete axiomatization
- epistemic logic
- logical framework
- nonmonotonic logics
- logic programs
- modal logic
- dynamic scenes
- dynamic logic
- social networks
- model theoretic
- modal operators
- motion patterns
- input video
- multiple view geometry
- rule engine
- fixed point semantics
- video representation
- social media
- human actions
- machine learning
- temporal domain
- model checking
- semantic information