Currently, the numerical simulation of flow and/or water quality becomes more and more sophisticated. There arises a demand on the integration of recent knowledge management (KM), artificial intelligence technology with the conventional hydraulic algorithmic models in order to assist novice application users in selection and manipulation of various mathematical tools. In this paper, an ontology...

Thus Demand chain management (DCM) is emerging as an innovative concept of managing the supply chain. A typical business analytic service is expected to sense trends and insights from data, then model ‘what if’ scenarios to support better decision-making from the insights derived. It should also be able to deliver short term strategic engagements consistently for long term managed services. Rat...

Since the notion of general purpose planning became one of the touchstones of artificial intelligence, surprisingly little improvement has been made in the efficiency of planning algorithms. Efficient high-speed search is essential to most planning algorithms proposed to date: this can only be achieved if the search algorithms used are based on a solid understanding of the search space. The con...

We would like to build story understanding systems which are transparent, modular, and extensible. To this end, we have been working on a new logical approach to narrative understanding that features a GPSG-style grammar and an episodic logic with probabilistic inference rules. The grammar represents phrase structure and the relationship between phrase structure and logical form in a modular, e...

Due to the complexity of the numerical simulation of flow and/or water quality, there is an increasing demand for integration of recent knowledge management, artificial intelligence technology with the conventional hydraulic algorithmic models in order to assist novice application users in selection and manipulation of various mathematical tools. In this paper, a prototype knowledge management ...

This article presents a taxonomy of strategies for fully-automated general-purpose first-order theorem proving. It covers forwardreasoning ordering-based strategies and backward-reasoning subgoal-reduction strategies, which do not appear together often. Unlike traditional presentations that emphasize logical inferences, this classification strives to give equal weight to the inference and searc...

bounded scope dialogue with the user in order to collect his suggestions about the structure and content of the texts to be su~mmrized, and his requirements on the summary to be generated. This information is embedded in two different frameworks called working_ text schema and working summmar~, schema which contain the user's suggestions and requirements, respectively. The schemas will constitu...

Rules and ontologies can be used to enrich a database system with advanced data access capabilities. The success of this paradigm has led to a number of languages such as DL-Lite, Datalog+/and OWL RL. The two major approaches to answering queries under constraints expressed in such languages are forward-chaining (materialization) and backward-chaining (query rewriting). The latter is typically ...