Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT AI4TrustBC
 
Project title
Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-09-2020
Completion
31-08-2022
 

Publications
(All)


Refined By:
Subject:  Completeness theorem | Decidability | Probabilistic logic

Results 1-1 of 1 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Dautović, Šejla A Probabilistic Logic Between LPP1 and LPP21-Jan-2022Logica Universalis~M22