Reasoner (disambiguation)

From Wikipedia, the free encyclopedia
Jump to: navigation, search

A reasoner is a piece of software able to infer logical consequences from a set of asserted facts or axioms.

Reasoner may also refer to:

People: