The activities of formal modelling and reasoning are closely related.
This paper addresses this question, illustrating and discussing the interplay between modelling and reasoning.
This simple yet elegant formalism for modelling and reasoning about dynamic systems is still in common use more than forty years since it was first proposed.
We examine how tools from mathematics and artificial intelligence, developed for network modelling and reasoning, could be useful for assessing and enhancing ecosystems services.
The papers cover a large range of topics such as logical modelling and reasoning, natural language processing, databases and data storage and access, machine learning, distributed systems, information retrieval and data mining, social networks, and Web science and Web engineering.
In the service development stage, requirements elicitation includes techniques for capturing, modelling and reasoning with energy requirements as well as product line oriented techniques to model and reason about system configuration [6, 7].
