2021

Algebraic identification of smart systems : theory and practice

Serdyukova, Natalia A



 

2023

Algorithmic intelligence : towards an algorithmic foundation for artificial intelligence

Edelkamp, Stefan.

Cham, Switzerland : Springer, [2023]

 

2002

Artificial intelligence : structures and strategies for complex problem solving

Luger, George F.
Fourth edition / George F. Luger
Harlow, England ; New York : Addison-Wesley, 2002

Request It 

2006

Commonsense reasoning

Mueller, Erik T.



 

2006

Commonsense Reasoning

Mueller, Erik T



 

2006

Commonsense reasoning

Mueller, Erik T



 

2014

Commonsense reasoning : an event calculus-based approach

Mueller, Erik T., author
2nd edition
Amsterdam : Morgan Kaufmann, 2014

 

2015

Commonsense reasoning : an event calculus based approach

Mueller, Erik T., author
Second edition
Amsterdam : Elsevier Morgan Kaufmann, [2015]

 

2021

Data driven approach towards disruptive technologies : proceedings of MIDAS 2020

International Conference on Machine Intelligence and Data Science Applications (2020 : Dehra Dūn, India)

Singapore : Springer, [2021]

 

2023

Essential math for AI : next-level mathematics for efficient and successful AI systems

Nelson, Hala, author.
First edition
Sebastopol, CA : O'Reilly, 2023

 

2023

Hypergraph computation

Dai, Qionghai, 1964- author.

Singapore : Springer, [2023]

 

2016

Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings

CICM (Conference) (9th : 2016 : Białystok, Poland)

Switzerland : Springer, 2016

 

2017

Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

CICM (Conference) (10th : 2017 : Ediburgh, Scotland)

Cham, Switzerland : Springer, 2017

 

2012

Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and

AISC (Conference) (11th : 2012 : Bremen, Germany)



 

2018

Intelligent computer mathematics : 11th international conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, proceedings

CICM (Conference) (11th : 2018 : Hagenberg im Mühlkreis, Austria)

Cham, Switzerland : Springer, [2018]

 

2019

Intelligent computer mathematics : 12th international conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings

CICM (Conference) (12th : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer, [2019]

 

2020

Intelligent computer mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

CICM (Conference) (13th : 2020 : Online)



 

2021

Intelligent computer mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings

CICM (Conference) (14th : 2021 : Online)



 

2023

Intelligent computer mathematics : 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 Proceedings

CICM (Conference) (16th : 2023 : Cambridge, England ; Online)

Cham : Springer, 2023

 

2014

Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings

CICM (Conference) (2014 : Coimbra, Portugal)

Cham : Springer, [2014]

 

2015

Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings

CICM (Conference) (2015 : Washington, D.C.)

Cham : Springer, 2015

 

2013

Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

CICM (Conference) (6th : 2013 : Bath, England)



 

2022

Intelligent computer mathmatics : 15th international conference, CICM 2022

CICM (Conference) (15th : 2022 : Tbilisi, Georgia)



 

2022

An introduction to artificial intelligence based on reproducing kernel Hilbert spaces

Pereverzyev, Sergei, author

Cham : Birkhäuser, [2022]

 

2018

Introduction to deep learning : from logical calculus to artificial intelligence

Skansi, Sandro, author

Cham, Switzerland : Springer, 2018

 

2023

Lectures on intelligent systems

Vanneschi, Leonardo, author

Cham : Springer, [2023]

 

2010

Markov decision processes in artificial intelligence : MDPs, beyond MDPs and applications

 

2009

Markov logic : an interface layer for artificial intelligence

Domingos, Pedro.



 

2023

Mathematical analysis of machine learning algorithms

Zhang, Tong, 1971- author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023

 

1996

Mathematical methods in artificial intelligence

Bender, Edward A., 1942-

Los Alamitos, Calif. : IEEE Computer Society Press, [1996]

Request It 

2020

A matrix algebra approach to artificial intelligence

Zhang, Xianda, 1946-

Singapore : Springer, 2020

 

2022

Multi-chaos, fractal, and multi-fractional artificial intelligence of different complex systems

 

2010

Reasoning with Diagrams : Decision-Making and Problem-Solving with Diagrams.

Nakatsu, Robbie, 1964-

Hoboken, N.J. : Wiley, [2010]

 

2009

Reasoning with Diagrams : Decision-Making and Problem-Solving with Diagrams

Nakatsu, Robbie T



 

2020

Statistical learning with math and R : 100 exercises for building logic

Suzuki, Joe, author.

Singapore, Singapore : Springer, [2020]

 

2020

The statistics and calculus with Python workshop

Farrell, Peter, 1966- author.

Birmingham, UK : Packt Publishing, 2020

 

2020

The statistics and calculus workshop a comprehensive introduction to mathematics in Python for artificial intelligence applications

Farrell, Peter, 1966- author

Birmingham : Packt Publishing, 2020