The s-semantics approach: Theory and applications