… We present a novel temporal logic for expressing properties of behaviour in context. The logic
… The logic allows the expression of the temporal behaviour of a system when placed in the …

… but adds to it a greater concern for recognizing the broader social context within which
health-related behaviours arise. Yet, while theory and research stemming from the social …

… Our system uses first order logic to represent context information and describe application
… Our architecture provides a more generic way of specifying the behaviour of context-aware …

… satisfaction analogous to the original HSA definition of behavioural satisfaction using contexts.
This opens the door for using the advanced techniques developed for HSA, such as the so…

… We can relate social context, role identities, logics, and strategic behaviour more concretely
by moving to specifics. Take first a major family business owner or owner-executive. That …

… constructive realism in the context of logical explanation. We review Higher Order Logic (HOL) …
As a case study on modeling human behaviour, we present the modeling and analysis of …

… -term behaviours on which we perform long-term behaviour recognition. Third, we present our
knowledge base of long-term behaviour … In the context of the EU-project PRONTOd we will …

… contexts instead, which clearly distorts the intended behavior of ist. To avoid this, one might
rather use 2i of the logic Altn, … In Altn there is at most one context accessible through each …

… its behavior in an indefinite aggregate of contexts, that nature is never completely known as
long as its invariants in every context … of the behavior of an entity in one context are inferrable …

… context for the analysis of political preferences, choices, and behavior. Once again, social
scientists put quotation marks around rediscovery and return to the logic of social politics. …