Evolutionary techniques provide powerful tools to design novel solutions for hard problems in different areas. However, the problem of scale (i.e. how to create a large, complex s...
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
Fernando Lopes, Nuno J. Mamede, Augusto Q. Novais,...
The problem of the relevance and the usefulness of extracted association rules is becoming of primary importance, since an overwhelming number of association rules may be derived f...
Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Ngui...