Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Electronic books.
(7)
Artificial Intelligence (incl. Robotics).
(5)
Engineering.
(5)
Computational intelligence.
(4)
Control engineering.
(3)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
12 Results Found Subscribe to search results
000000000000DEFAULT
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 Calculus of thought : neuromorphic logistic regression in cognitive machines
      1. 
      Calculus of thought : neuromorphic logistic regression in cognitive machines
      by 
      Rice, Daniel M.
      Click to View
      Format: 
      Excerpt: 
      Calculus of thought : neuromorphic logistic regression in cognitive machines / Rice, Daniel M.
      Cover image for A many-sorted calculus based on resolution and paramodulation
      2. 
      A many-sorted calculus based on resolution and paramodulation
      by 
      Walther, Christoph.
      ScienceDirect http://www.sciencedirect.com/science/book/9780273087182
      Format: 
      Excerpt: 
      A many-sorted calculus based on resolution and paramodulation / Walther, Christoph.
      Cover image for Model-Free Stabilization by Extremum Seeking
      3. 
      Model-Free Stabilization by Extremum Seeking
      by 
      Scheinker, Alexander. author.
      http://dx.doi.org/10.1007/978-3-319-50790-3
      Format: 
      Excerpt: 
      Calculus of Variations and Optimal Control; Optimization.
      Cover image for Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm
      4. 
      Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm
      by 
      Amador, Leticia. author.
      http://dx.doi.org/10.1007/978-3-319-54295-9
      Format: 
      Excerpt: 
      Calculus of Variations and Optimal Control; Optimization.
      Cover image for Mathematical logic
      5. 
      Mathematical logic
      by 
      Turing, Alan, 1912-1954.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444504234
      Format: 
      Excerpt: 
      Lambda-calculus.
      Cover image for Intuitionistic Fuzzy Logics
      6. 
      Intuitionistic Fuzzy Logics
      by 
      T. Atanassov, Krassimir. author.
      http://dx.doi.org/10.1007/978-3-319-48953-7
      Format: 
      Excerpt: 
      introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to
      Cover image for Artificial Intelligence : a new synthesis
      7. 
      Artificial Intelligence : a new synthesis
      by 
      Nilsson, Nils J., 1933-2019.
      ScienceDirect https://www.sciencedirect.com/science/book/9781558604674
      Format: 
      Excerpt: 
      Representation and Reasoning. The Propositional Calculus. Resolution in the Propositional Calculus. The Predicate
      Cover image for Trends in Advanced Intelligent Control, Optimization and Automation Proceedings of KKA 2017—The 19th Polish Control Conference, Kraków, Poland, June 18–21, 2017
      8. 
      Trends in Advanced Intelligent Control, Optimization and Automation Proceedings of KKA 2017—The 19th Polish Control Conference, Kraków, Poland, June 18–21, 2017
      by 
      Mitkowski, Wojciech. editor.
      http://dx.doi.org/10.1007/978-3-319-60699-6
      Format: 
      Excerpt: 
      calculus in the modeling and control of dynamic systems. Part 7 focuses on modern robotics. Part 8 deals
      Cover image for Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
      9. 
      Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
      by 
      McCarthy, John, 1927-2011.
      ScienceDirect https://www.sciencedirect.com/science/book/9780124500105
      Format: 
      Excerpt: 
      manufacturing / C. Goad -- LISP + calculus = identities / R.W. Gosper -- Model checking vs. theorem proving : a
      Cover image for Computational Intelligence International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers
      10. 
      Computational Intelligence International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers
      by 
      Merelo, Juan Julián. editor.
      http://dx.doi.org/10.1007/978-3-319-48506-5
      Format: 
      Excerpt: 
      -- An Order Hyperresolution Calculus for Gödel Logic with Truth Constants and Equality, Strict Order
      Cover image for Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)
      11. 
      Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)
      by 
      Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
      ScienceDirect http://www.sciencedirect.com/science/book/9781483214535
      Format: 
      Excerpt: 
      ; Preface; Chapter 1. Knowledge, Action, and Ability in the Situation Calculus: Extended Abstract
      Cover image for Problem solving : methods, programming, and future concepts
      12. 
      Problem solving : methods, programming, and future concepts
      by 
      German, O. V. (Oleg Vitolʹdovich)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444822260
      ScienceDirect http://www.sciencedirect.com/science/bookseries/09243542/12
      Format: 
      Excerpt: 
      solvers -- 4.3 Group resolution principle in predicate calculus -- 4.4 Implementation of group resolution