Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Subject
Electronic books.
(9)
Artificial intelligence.
(4)
Conference papers and proceedings.
(2)
0546
(1)
0790
(1)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for The Application of Qualitative Reasoning to Real-Time Control
      1. 
      The Application of Qualitative Reasoning to Real-Time Control
      by 
      Abdulmajid, Basim A., author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13871264
      Format: 
      Excerpt: 
      The Application of Qualitative Reasoning to Real-Time Control / Abdulmajid, Basim A., author.
      Cover image for Readings in argumentation
      2. 
      Readings in argumentation
      by 
      Benoit, Pamela J., 1954-
      Click to View
      Format: 
      Excerpt: 
      Reasoning.
      Cover image for Parmenides
      3. 
      Parmenides
      by 
      Plato.
      EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1085152
      Format: 
      Excerpt: 
      Reasoning -- Early works to 1800.
      Cover image for Artificial intelligence V : methodology, systems, applications : proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92) Sofia, Bulgaria, 21-24 September, 1992
      4. 
      Artificial intelligence V : methodology, systems, applications : proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92) Sofia, Bulgaria, 21-24 September, 1992
      by 
      International Conference on Artificial Intelligence: Methodology, Systems, Applications (5th : 1992 : Sofia, Bulgaria)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444897527
      Format: 
      Excerpt: 
      reasoning, natural language processing, and logic methods in AI. There are also more applied papers in the
      Cover image for Artificial intelligence in engineering design
      5. 
      Artificial intelligence in engineering design
      by 
      Tong, Christopher, 1957-
      ScienceDirect http://www.sciencedirect.com/science/book/9780126605617
      ScienceDirect http://www.sciencedirect.com/science/book/9780126605624
      ScienceDirect http://www.sciencedirect.com/science/book/9780126605631
      Format: 
      Excerpt: 
      , reasoning about physical systems, and reasoning about geometry -- v. 3. Knowledge acquisition, commercial
      Cover image for Designing intelligent machines
      6. 
      Designing intelligent machines
      by 
      Rzevski, G. (George)
      ScienceDirect http://www.sciencedirect.com/science/book/9780750624039
      Format: 
      Excerpt: 
      ; Reasoning; Rule-based systems; Learning; Intelligent control; Computer vision; Integration; Acknowledgements
      Cover image for The Nature and origins of mathematical skills
      7. 
      The Nature and origins of mathematical skills
      by 
      Campbell, Jamie I. D.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444890146
      Format: 
      Excerpt: 
      mathematics / Jeffrey Bisanz & Jo-Anne LeFevre -- Mathematical misunderstandings : qualitative reasoning about
      Cover image for Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
      8. 
      Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
      by 
      IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 12th (1992nd : Lake Buena Vista, Florida)
      ScienceDirect https://www.sciencedirect.com/science/book/9780444898746
      Format: 
      Excerpt: 
      Simulation Algorithm; 4 Reasoning in TRACE(H); 5 Discussion; Acknowledgements; References; Chapter 9. A Queue
      Cover image for Natural and artificial intelligence : misconceptions about brains and neural networks
      9. 
      Natural and artificial intelligence : misconceptions about brains and neural networks
      by 
      Callataÿ, Armand M. de, 1935- author.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444890818
      Format: 
      Excerpt: 
      logic useful in brains?; Can logical reasoning be false?
      Cover image for Sampling of heterogeneous and dynamic material systems : theories of heterogeneity, sampling, and homogenizing
      10. 
      Sampling of heterogeneous and dynamic material systems : theories of heterogeneity, sampling, and homogenizing
      by 
      Gy, Pierre.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444896018
      Format: 
      Excerpt: 
      proportional sampling -- Check on sampling correctness vs. check on sampling accuracy the reasoning errors