The Situation Calculus is a logic of time and change in which there is a distinguished initial situation, and all other situations arise from the different sequences of actions that might be performed starting in the initial ...

The goal of our work is to develop theoretical foundations for the representation of knowledge in domains in which properties may vary continuously. One achievement of our research is that it extends the applicability of ...

The paper provides a predicate logic based semantics for active rules in active databases. Previous work has been done to provide the semantics of execution of active rules. In part, this work has been directed towards ...

The aim of our ongoing research is to give a method to construct intelligent tutoring systems for agents who are executing typical procedures in dynamic environments based on a logical framework. Typical procedures are ...

Abstract. Water quality management policies on a river basin scale are of special importance in order to prevent and/or reduce environmental pollution caused by human sources. Industrial effluents are a priority ...

Software architecture design is an interactive, complex, decision-making process. Such a design process involves the exploration,evaluation, and composition of design alternatives. Increasingly, new computer-aided tools ...

This research consists of a literature review and aimed to view the applications that the Mean Value Theorem and Rolle’s Theorem in mathematical feature. Thus, we used the concept of derivate. Was carried out for an ...

In this work it was presented the famous brachistochrone problem and the di erent solutions through the theory of variational calculus and through the concepts of geometry and physics, involving situations with similar ...