E-LIB Suche - Ergebnisse für: inf 410

1

Introduction to logic programming

Synthesis lectures on artificial intelligence and machine learning ; #44;Computer & information science, collection eleven;Synthesis digital library of engineering and computer science

Genesereth, Michael R. ; Chaudhri, Vinay K. , [2020]

Link: https://doi.org/10.2200/..

2

A first course in logic:

Lawson, Mark V. - 1st . , 2018

Link: https://doi.org/10.1201/..

3

Introduction to recursive programming:

Rubio-Sánchez, Manuel , [2018]

Link: https://doi.org/10.1201/..

4

Probability Logics

Probability-Based Formalization of Uncertain Reasoning

Ognjanović, Zoran , 2016

Link: https://ebookcentral.pro..

5

Subjective Logic

A Formalism for Reasoning Under Uncertainty Artificial Intelligence: Foundations, Theory, and Algorithms;Artificial Intelligence: Foundations, Theory, and Algorithms Ser.

Jøsang, Audun , 2016

Link: https://ebookcentral.pro..

6