Logic programming is investigated as a vehicle for structuring and implementing decision support systems, with particular attention paid to those dealing with financial modeling. This approach to ...

Rewriting logic is a versatile and expressive framework that unifies the specification of concurrent systems with formal reasoning about their behaviour. It allows researchers and practitioners to ...

This paper presents a constraint logic programming model for the traveling salesman problem with time windows which yields an exact branch-and-bound optimization algorithm without any restrictive ...