Sentence examples for reasoning was built from inspiring English sources

The case of two-dimensional granular materials was considered and the reasoning was built on 2D Discrete Element Method (DEM) simulations of 2D biaxial tests performed on sample made of disks.

A case-based reasoning (CBR) system was built using an open source software myCBR 3.0.

Therefore, they conclude, axioms for team reasoning should be built into refined foundations of game theory.

Reasoning rules are built on a partially ordered knowledge-sharing model for loosely coupled distributed computing.

The "Counter-Example Guided Argumentation Reasoning Tool" [21] is built on top of modern SAT solvers, and relies on an iterative procedure of SAT-calls (see Algorithm 1).

Hybrid Graph Logic is a logic designed for reasoning about graphs and is built from a basic modal logic, augmented with the use of nominals and a facility to verify the existence of paths in graphs.

The combination of both quantitative and qualitative analysis of students' responses is necessary for identifying the reasoning resources students already have that can be built upon, as well as revealing changes in students' reasoning postinstruction.

Examples of the application of the method using different objects and different types of spatial relationships are presented and new composition tables are built using the reasoning engine.

The generic block contains two methods; the first method is based on the similarity degree between arbitrary situations, the second is built on inductive reasoning.

The formalism can serve as: (i) a basis for a scripting language for programming composite systems, and (ii) a language for specifying these systems (whether existing or to be built) and then reasoning with specifications of these systems.

Additionally, they present examples of ontology reasoning and rule-based reasoning to show how context-aware services can be built.