Sentence examples for automated reasoning from inspiring English sources

Basic research interests include knowledge representation, automated reasoning, and rational action.

A new methodology/data structure, the clause tree, is developed for automated reasoning based on resolution in first order logic.

Automated reasoning is a growing field that provides a healthy interplay between basic research and application.

Albeit not at the rate originally anticipated, automated reasoning is finding applications in mathematics.

Fourth, the consistency and correctness of the ontology itself has increased by using automated reasoning tools.

Automated Reasoning: Essays in Honor of Woody Bledsoe, R.S. Boyer ed., Kluwer Academic Publ., Dordrecht (1991).

Automated reasoning could provide radiologists with diagnostic suggestions for unusual cases [7].

Recently, a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches.

Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning.

As the use of automated reasoning assistants becomes more widespread one can envision their use following a certain methodical order: First, automated reasoning tools are used for theory exploration and discovery.

Efficiency is an important consideration in automated reasoning and one may sometimes be willing to trade completeness for speed.