Sentence examples for implemented this reasoning from inspiring English sources

We implemented this reasoning process in a prototype cost estimating application, which creates and maintains cost estimates based on a building product model.

We implemented the reasoning prototype system based on the Hadoop framework, which is an open-source Java implementation of MapReduce [ 29].

Stone shows that modal logic can be used to modularize the formalization of the information required in this task; he also shows how modal theorem proving can be used to implement the reasoning.

Based on the conceptual model and data model, the distributed reasoning module implements the reasoning algorithm on a Hadoop cluster.

A new semi-non-parametric inference mechanism is implemented for reasoning.

The formal goal analysis is illustrated through examples, using an implemented goal reasoning tool.

Variations of the method have been implemented in reasoning programs in higher-order logic (Andrews 1981) and non-classical logics (Wallen 1990).

Heino and Pan [ 47] implemented RDFS reasoning on massively parallel hardware.

The logical machinery of description logics, implemented in reasoning engines, was an indispensable part of the mapping process, which, ultimately, not only provided a consistent mapping ontology but contributed, by large, to error detection and improvement of BioTop.

There is no associated reasoner to Protege-Frames, so we implemented a simple reasoning system to ensure the global consistency of the added assertions in our set of integrated ontologies.

The work cited in Cohn et al. 1997 describes constraint propagation techniques and encodings in intuitionistic propositional logic as ways of supporting implemented reasoning based on RCC and some of its extensions.