Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Deduction And Theorem Proving (I.2.3)
  Deduction And Theorem Proving (I.2.3) See Reviews  
Subject Descriptors:
Answer/Reason Extraction (18)
Deduction (69)
Inference Engines (21)
Logic Programming (164)
Mathematical Induction (12)
Metatheory (10)
Nonmonotonic Reasoning And Belief Revision (116)
Resolution (33)
Uncertainty, “Fuzzy,” And Probabilistic Reasoning (266)
Proper Nouns:
Dlp (1)
Oscar (1)
Otter (3)
Prolog (5)
Solomon (1)
Reviews limited to:

Reviews about "Deduction And Theorem Proving (I.2.3)":
Reasoning about uncertainty (2nd ed.)
Halpern J.,  The MIT Press, Cambridge, MA, 2017. 504 pp. Type: Book (978-0-262533-80-5)
 A case-based reasoning system based on weighted heterogeneous value distance metric for breast cancer diagnosis
Gu D., Liang C., Zhao H.  Artificial Intelligence in Medicine 77 31-47, 2017. Type: Article
Uncertainty and reduction of variable precision multigranulation fuzzy rough sets based on three-way decisions
Feng T., Fan H., Mi J.  International Journal of Approximate Reasoning 85(C): 36-58, 2017. Type: Article
Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples
Besold T., Garcez A., Stenning K., van der Torre L., van Lambalgen M.  Minds and Machines 27(1): 37-77, 2017. Type: Article
Belief revision in structured probabilistic argumentation
Shakarian P., Simari G., Moores G., Paulo D., Parsons S., Falappa M., Aleali A.  Annals of Mathematics and Artificial Intelligence 78(3-4): 259-301, 2016. Type: Article
The fundamentals of computational intelligence: system approach
Zgurovsky M., Zaychenko Y.,  Springer International Publishing, New York, NY, 2016. 373 pp. Type: Book (978-3-319351-60-5)
Fuzzy logic in its 50th year: new developments, directions and challenges
Kahraman C., Kaymak U., Yazici A.,  Springer International Publishing, New York, NY, 2016. 404 pp. Type: Book (978-3-319310-91-6)
Related Topics
I.2.3 Deduction And Theorem Proving
  - Mathematical Logic
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy