automated reasoning

automated reasoning

computer-based mathematical reasoning, including geometric theorem proving, algebraic equation solving, and mathematical theorem proving. It is a subdiscipline of artificial intelligence.

Related Terms

Perceived Fraudulence Scale (PFS)

Sorry, "perceived-fraudulence-scale-pfs" is not in the Dictionary of Psychology....

morbidity

morbidity n. a pathological (diseased) condition or state,...

reactive mania

reactive mania a hypomanic episode or manic episode that is...

interpolation

interpolation n. a strategy for determining an unknown valu...

delusion of poverty

delusion of poverty a false belief in which the individual...

distal 18q-

Sorry, "distal-18q" is not in the Dictionary of Psychology. Please report to APA...

Quick Info

Category Psychology Term
Definitions 1
First Letter A

Browse by Letter

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z