Sentence examples for support for reasoning from inspiring English sources

General-purpose tool support for reasoning about the historical information stored in a version control system is limited.

On the practical side, our encoding of the model R provides semi-automatic proof support for reasoning on responsiveness and stuckness.

We show how Maude offers a simple, natural, and accurate way of modeling the ODP computational viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning about them.

The criteria considered most essential for annotation mouse models of human disease include several of those described by Bodenreider and Burgun (1) i.e. coverage of diseases, regular maintenance, support for reasoning and open availability.

For example, efficient reasoning algorithms which have been developed for description logics (Baader et al., 2003) and are coherent with the Semantic Web standard OWL DL do not provide support for reasoning capabilities about instances of instances.

At this point, we are very close to applied aspects of research in multi-modal reasoning design theory and AI research by providing these disciplines with computational support for visual reasoning.

In the SA systems domain, architecture-centric approaches with explicit (first-class) representation of feedback loops have been advocated as a promising research direction (Brun et al. 2009; Hebig et al. 2010; Müller et al. 2008), due to their generality and support for early reasoning of self-adaptation quality attributes.

There, we go into detail of system-specific characteristics, such as particular GUI-based features, support for additional reasoning problems or performance-relevant details.

However, we decided to use Web Ontology Language (OWL) version 2 as the underlying ontology language for the CBO because it provides greater support for semantic reasoning (Lister et al., 2010), searching and more flexible distribution options.

Support for this reasoning is also found in a study by Dobash and Dobash [ 8] where men described women's violence as "insignificant," "comical" and "ludicrous" (pp 340), hereby demonstrating that the violence was less frightening to them and less import to recall.

Diabetes needs greatest support of reasoning techniques for diagnosis and treatment.