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 (71)
Inference Engines (21)
Logic Programming (165)
Mathematical Induction (12)
Metatheory (10)
Nonmonotonic Reasoning And Belief Revision (117)
Resolution (33)
Uncertainty, “Fuzzy,” And Probabilistic Reasoning (274)
Proper Nouns:
Dlp (1)
Oscar (1)
Otter (3)
Prolog (5)
Solomon (1)
Reviews limited to:

Reviews about "Deduction And Theorem Proving (I.2.3)":
 How testing helps to diagnose proof failures
Petiot G., Kosmatov N., Botella B., Giorgetti A., Julliand J. Formal Aspects of Computing 30(6): 629-657, 2018.  Type: Article
 On the logos: a naïve view on ordinary reasoning and fuzzy logic
Trillas E., Springer International Publishing, New York, NY, 2017. 213 pp.  Type: Book (978-3-319560-52-6)
A progression semantics for first-order logic programs
Zhou Y., Zhang Y. Artificial Intelligence 250 58-79, 2017.  Type: Article
A new perspective on nonmonotonic logics
Gabbay D., Schlechta K., Springer International Publishing, New York, NY, 2016. 365 pp.  Type: Book (978-3-319468-15-0)
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
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 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy