reasoner

Or did they become bridge players because they are good reasoners?

Reasoners at this level judge the morality of an action by its direct consequences.

Recently automatic reasoners found in semantic web a new field of application.

There was fierce enjoyment in this, that she would use reason to overcome the cruel reasoners.

But, even with respect to the opinion of the world, I am convinced that this class of reasoners are mistaken.

Tolstoy includes him among the futile reasoners about beauty.

Paul "reminds us that skilled reasoners can, and often do, use their thinking to manipulate and control others."

Some automated reasoners exploit the graph-theoretic features of the networks during processing.

Reasoners focus on a subset of the possible models of multiple-model problems, often just a single model.

Caveat: Reasoners do not support the full specification because the reasoning becomes undecidable.

They are very bad reasoners, and vehemently given to opposition, unless when they happen to be of the right opinion, which is seldom their case.

Developed knowledge bases can be used in OEM or embedded reasoners.

The ease with which reasoners can make deductions is affected by many factors, including age and working memory (Barrouillet, et al., 2000).

But observe, I entreat you, with what extreme caution all just reasoners proceed in the transferring of experiments to similar cases.

Assuming that is an equivalence relation, and that the agents are perfect reasoners, a few properties of knowledge can be derived.

There are some reasoners that deal with OWL and Description Logic.

Existing semantic reasoners and related software:

Ochs was one of the original members of a small group of Jewish philosophers who called themselves "textual reasoners".

Subsequent experience as a teaching assistant for a course in moral reasoning at Harvard supplied more evidence of fragmentation: elegant reasoners often acted shabbily.

Meta-deduction enables reasoners to make inferences about other people's inferences, which is relevant to almost every successful social and professional interaction.

From the mid '90s, reasoners were created with good practical performance on very expressive DL with high worst case complexity.

Collection of reasoners:

However, formal reasoners are content to contemplate axiomatically independent and sometimes mutually contradictory systems side by side, for example, the various alternative geometries.

He advocates counter-terrorism security insured by pervasive, all-seeing sensors; automated reasoners; and autonomous, lethal robots.

The term reasonist is used interchangeably with rationalist, both terms being used to distinguish them as true reasoners and rational inquirers.