Category:Automated reasoning

Subcategories

This category has the following 4 subcategories, out of 4 total.

A

Automated theorem proving‎ (3 C, 39 P)

K

Knowledge representation‎ (18 C, 202 P)

R

Rule engines‎ (1 C, 20 P)

T

Type inference‎ (1 C, 4 P)

Pages in category "Automated reasoning"

The following 15 pages are in this category, out of 15 total. This list may not reflect recent changes.

Automated reasoning

A

Association for Automated Reasoning

B

Backward chaining

C

Commonsense reasoning

E

The Engine

H

Handbook of Automated Reasoning

K

Knowledge representation and reasoning

M

Model-based reasoning

O

Opportunistic reasoning

P

ProVerif

R

Reasoning system

S

T

Tamarin Prover

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Automated_reasoning&oldid=972584374"