Abstract:In this paper we deal with the problem of temporal reasoning as a special case of a constraint satisfaction problem. We review several models, either qualitative or metric, for constraint based temporal reasoning and we show the main features of each one, such as expressivity and computational complexity. We also show some recent advances in the field of temporal reasoning with points and durations as temporal objects and finally we suggest some future works.
This communication deals with the possibility of coupling together interactive product configuration tools with process planning tools in order to communicate and make consistent decisions made from one side to the other side. The first section introduces the problem and the general ideas of the proposed solution. Then, two constraints based models, respectively relevant to product configuration and process planning, are presented. Finally first investigations for coupling these two models and associated problems are discussed. An example illustrates our proposal through out the paper.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.