Residuation theory concerns the study of partially ordered algebraic
str...
We contemplate a higher-level bipolar abstract argumentation for
non-ele...
We study invariant local expansion operators for conflict-free and admis...
We propose a timed and soft extension of Concurrent Constraint Programmi...
ConArg is a Constraint Programming-based tool that can be used to model ...
We propose the use of Soft Constraints as a natural way to model Service...