@article{SchneiderLambersOrejas2021,
  author    = {Schneider, Sven and Lambers, Leen and Orejas, Fernando},
  title     = {A logic-based incremental approach to graph repair featuring delta preservation},
  series = {International journal on software tools for technology transfer : STTT},
  volume    = {23},
  journal   = {International journal on software tools for technology transfer : STTT},
  number    = {3},
  publisher = {Springer},
  address   = {Berlin ; Heidelberg},
  issn      = {1433-2779},
  doi       = {10.1007/s10009-020-00584-x},
  pages     = {369 -- 410},
  year      = {2021},
  abstract  = {We introduce a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing graph repairs from which a user may select a graph repair based on non-formalized further requirements. This incremental approach features delta preservation as it allows to restrict the generation of graph repairs to delta-preserving graph repairs, which do not revert the additions and deletions of the most recent consistency-violating graph update. We specify consistency of graphs using the logic of nested graph conditions, which is equivalent to first-order logic on graphs. Technically, the incremental approach encodes if and how the graph under repair satisfies a graph condition using the novel data structure of satisfaction trees, which are adapted incrementally according to the graph updates applied. In addition to the incremental approach, we also present two state-based graph repair algorithms, which restore consistency of a graph independent of the most recent graph update and which generate additional graph repairs using a global perspective on the graph under repair. We evaluate the developed algorithms using our prototypical implementation in the tool AutoGraph and illustrate our incremental approach using a case study from the graph database domain.},
  language  = {en}
}
@article{HerdeEccard2013,
  author    = {Herde, Antje and Eccard, Jana},
  title     = {Consistency in boldness, activity and exploration at different stages of life},
  series = {BMC ecology},
  volume    = {13},
  journal   = {BMC ecology},
  number    = {12},
  publisher = {BioMed Central},
  address   = {London},
  issn      = {1472-6785},
  doi       = {10.1186/1472-6785-13-49},
  pages     = {10},
  year      = {2013},
  abstract  = {Background: Animals show consistent individual behavioural patterns over time and over situations. This phenomenon has been referred to as animal personality or behavioural syndromes. Little is known about consistency of animal personalities over entire life times. We investigated the repeatability of behaviour in common voles (Microtus arvalis) at different life stages, with different time intervals, and in different situations. Animals were tested using four behavioural tests in three experimental groups: 1. before and after maturation over three months, 2. twice as adults during one week, and 3. twice as adult animals over three months, which resembles a substantial part of their entire adult life span of several months. Results: Different behaviours were correlated within and between tests and a cluster analysis showed three possible behavioural syndrome-axes, which we name boldness, exploration and activity. Activity and exploration behaviour in all tests was highly repeatable in adult animals tested over one week. In animals tested over maturation, exploration behaviour was consistent whereas activity was not. Voles that were tested as adults with a three-month interval showed the opposite pattern with stable activity but unstable exploration behaviour. Conclusions: The consistency in behaviour over time suggests that common voles do express stable personality over short time. Over longer periods however, behaviour is more flexible and depending on life stage (i.e. tested before/after maturation or as adults) of the tested individual. Level of boldness or activity does not differ between tested groups and maintenance of variation in behavioural traits can therefore not be explained by expected future assets as reported in other studies.},
  language  = {en}
}