A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence :: SCD d'Orléans

A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence

A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence

Kaydedildi:

Detaylı Bibliyografya
Yazar:	deBessonet, Cary G.
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• A many-valued approach to deduction and reasoning for artificial intelligence, by Cary G. deBessonet, Boston, Kluwer Academic, 1991, 1 vol. (XVIII-248 p.), The Kluwer international series in engineering and computer science, 0-7923-9138-1

Benzer Materyaller

Algebraic Foundations of Many-Valued Reasoning
Yazar:: Cignoli, Roberto L. O., ve diğerleri

Deductive Reasoning.
Baskı/Yayın Bilgisi: (2019)

Many-Valued Aesthetics
Yazar:: Ohls, Hauke
Baskı/Yayın Bilgisi: (2024)

Many-Valued Logics : 1: Theoretical Foundations
Yazar:: Bolc, Leonard, 1934-, ve diğerleri

Tractable reasoning in artificial intelligence
Yazar:: Cadoli, Marco

Many Valued Topology and its Applications
Yazar:: Höhle, Ulrich

‪On Jan Łukasiewicz's many-valued logic and his criticism of determinism‪
Yazar:: Łukasiewicz, Dariusz
Baskı/Yayın Bilgisi: (2011)

On Jan Łukasiewicz’s many-valued logic and his criticism of determinism
Yazar:: Łukasiewicz, Dariusz
Baskı/Yayın Bilgisi: (2012)

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings

An Artificial Intelligence Approach to VLSI Routing
Yazar:: Joobbani, Rostam

An Artificial Intelligence Approach to Test Generation
Yazar:: Singh, Narinder

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

Valued fields
Yazar:: Engler, Antonio J., 19..-, ve diğerleri

Complex-Valued Neural Networks with Multi-Valued Neurons
Yazar:: Aizenberg, Igor

Operator-valued measures and integrals for cone-valued functions
Yazar:: Roth, Walter, 19..-...., mathématicien

Boolean Valued Analysis
Yazar:: Kusraev, A. G., ve diğerleri

An Artificial Intelligence Approach to Integrated Circuit Floorplanning
Yazar:: Jabri, Marwan A.

Explainable Artificial Intelligence approaches for Image Captioning
Yazar:: Elguendouze, Sofiane, 1997-
Baskı/Yayın Bilgisi: (2024)

Artificial intelligence : a modern approach
Yazar:: Russell, Stuart, 1962-, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Artificial Intelligence : a modern approach
Yazar:: Russell, Stuart, 1962-, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Lattice-Valued Logic : An Alternative Approach to Treat Fuzziness and Incomparability
Yazar:: Xu, Yang, ve diğerleri

The relationship between deductive reasoning and the syntax of language in Broca’s area: A review of the neuroimaging literature
Yazar:: Prado, Jérôme
Baskı/Yayın Bilgisi: (2018)

Set-valued analysis
Yazar:: Aubin, Jean-Pierre, 1939-...., mathématicien, ve diğerleri
Baskı/Yayın Bilgisi: (1990)

Multi-Valued Fields
Yazar:: Ershov, Yuri L.

Set-valued analysis.
Baskı/Yayın Bilgisi: (2002)

Set-valued analysis
Yazar:: Aubin, Jean-Pierre, 1939-...., mathématicien, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Set-Valued Analysis
Baskı/Yayın Bilgisi: (2022)

Artificial Intelligence-Based Learning Approaches for Remote Sensing
Baskı/Yayın Bilgisi: (2023)

Labelled Deduction

FROM VALUED FREEDOMS, TO POLITIES AND MARKETS THE CAPABILITY APPROACH IN POLICY PRACTICE
Yazar:: Gasper, Des
Baskı/Yayın Bilgisi: (2009)

Induction et déduction
Yazar:: Helmholtz, Hermann von
Baskı/Yayın Bilgisi: (2011)

Induction et déduction
Yazar:: von Helmholtz, Hermann, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Induction-déduction
Yazar:: Martin, Olivier
Baskı/Yayın Bilgisi: (2013)

Artificial intelligence
Yazar:: Winston, Patrick Henry, 1943-2019, chercheur en informatique
Baskı/Yayın Bilgisi: (1977)

Artificial intelligence.

Artificial Intelligence
Baskı/Yayın Bilgisi: (2023)

Artificial Intelligence
Baskı/Yayın Bilgisi: (2023)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales