Sentence examples for computational reasoning from inspiring English sources
Ontological systems allow for computational reasoning, i.e. the inference of new facts from given knowledge and rules.
By using Riccati transformation and computational reasoning, some new vibration criteria for two-order neutral delay differential Eq. (1) are obtained.
The need to support computational reasoning about space, however, in application areas such as motion planning and manipulation in physical space, the indexing and retrieval of images, geographic information systems, diagrammatic reasoning, and the design of high-level graphics programs has led to new interest in spatial representations and spatial reasoning.
In addition, the network model is compatible with computational reasoning to analyze systems biology data.
Many ontology-based computational reasoning programs are not effectively applicable for use with the MeSH structure.
Importantly, the ontological models produced from this process are expressed in a language that enables human understanding and computational reasoning over the representation.
Probability is the best-understood and most widely applied formalism for computational scientific reasoning under uncertainty.
I think I speak for many parents and a silent majority of concerned citizens: Let's slow down, focus on training great teachers and make sure that our children learn effective communications and basic computational and reasoning skills.
According to senior researcher Dr. Gert-Jan LokhorSets"Sets of moral standards can be inconsistent, incomplete, or inappropriate in view of other sets of standards; it would therefore desirable that robots equipped with such standards were to some extent able to reason about them in other words, if they had some capacity for meta-ethical reasoning" (Computational Meta-Ethics).
These findings complement previously reported analytical results about the computational complexity of reasoning in such systems.
Other interests include understanding neural networks, common-sense reasoning, computational photography, building image databases,..., and the intersections between visual art and computation.
