In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
Despite the importance of the management of inventory in industrial scheduling applications, there has been little research that has addressed reasoning about inventory directly a...
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...
Within the industrial context of the information society, technical translation represents a considerable commercial stake. In the light of this, machine translation is considered...
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...