Blockchain-based proof-of-authenticity frameworks for Explainable AI.
Diksha MalhotraPoonam SainiAwadhesh Kumar SinghPublished in: Multim. Tools Appl. (2024)
Keyphrases
- artificial intelligence
- digital images
- expert systems
- ai systems
- theorem proving
- case based reasoning
- mathematical knowledge
- theorem prover
- ai technologies
- case study
- databases
- ai community
- natural deduction
- ai planning
- knowledge based systems
- intelligent systems
- knowledge representation
- machine learning
- intelligent behavior
- linear logic
- proof theory
- learning algorithm
- proof planning
- database
- mathematical proofs
- john mccarthy
- geometry theorem proving
- artificially intelligent