Menu |
Category I.2.3 Deduction and Theorem ProvingAnswer/reason extraction
Deduction (e.g., natural, rule-based)
Inference engines
Logic programming
Mathematical induction
Metatheory
Nonmonotonic reasoning and belief revision
Resolution
Uncertainty, ``fuzzy,'' and probabilistic reas Browse in:All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles Hide subcategories objects Current category:
Top
::
ITHEA Classification Structure
::
I. Computing Methodologies
::
I.2 ARTIFICIAL INTELLIGENCE
::
I.2.3 Deduction and Theorem Proving
|
Login World Clock |