A formal model for accountability

This is made possible by assigning accountability in areas of control, by using applications of risk assessment in planning, monitoring and implementation of the programme budget,

This is made possible by assigning accountability in areas of control, by using applications of risk assessment in planning, monitoring and implementation of the programme budget,

4 The functional control score is used to assess and monitor the status of internal controls within a budget centre across key functional areas, such as: planning and budgeting;

We want to be able to express, for instance that action a occurs at moment t if conditions p 1 ,. all preceding t... Here we present an approach where it is possible to

We introduce in particular the Geneva 1 fragment, which consists of the set of NNF formulas of shape ψ ∧ G(φ), where ψ is an FOLTL formula featuring existential quantifiers only at

• A multi-agent semantics integrating both the behavioural dimension of goal satisfaction and the ability of actors to support their assigned roles in a model... Tackling the

Following a lengthy evaluation and selection process, BFO was adopted in the spring of 2019 to be the top-level ontology of the Industrial Ontologies Foundry (IOF), an ecosystem

For the creation of plausibility specifications, we pro- pose to use Temporal Queries (TQs) which are a way for specifying truth value changes while observing finite traces, like