• arenar

  • Referenced in 1 article [sw35218]
  • start the server with XAI (Explainable Artificial Intelligence) plots to be generated on-demand...
  • AI Explainability 360

  • Referenced in 6 articles [sw35201]
  • explainability 360: An extensible toolkit for understanding data and machine learning models. As artificial intelligence ... from multiple stakeholders for these algorithms to explain their outputs. To make matters more challenging...
  • dalex

  • Referenced in 2 articles [sw36558]
  • validation of model performance and fairness, higher explainability, and continuous monitoring. The necessity of deeper ... also emerging laws and regulations on artificial intelligence. To facilitate the development of responsible machine...
  • HERBY

  • Referenced in 6 articles [sw21545]
  • most interesting area in Artificial Intelligence: automated theorem proving. In particular, it is about ... subject of the Chapter 1. Chapter 2 explains how to write a theorem...
  • STATEX

  • Referenced in 1 article [sw14063]
  • system, which is one section of Artificial Intelligence, has been discussed and developed in many ... necessarily enough functions for acquiring knowledge and explaining the process of inference. Moreover, we must...
  • DIME

  • Referenced in 1 article [sw42497]
  • human to understand an Artificial Intelligence (AI) model’s decision-making process is critical ... result, the research fields of interpretable and explainable AI have gained traction within AI communities...
  • Coq

  • Referenced in 1913 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Matlab

  • Referenced in 13745 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 10253 articles [sw00771]
  • R is a language and environment for statistical...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • RuleML

  • Referenced in 27 articles [sw01792]
  • The goal of the Rule Markup Initiative is...
  • ASSAT

  • Referenced in 176 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • MPTP 0.2

  • Referenced in 53 articles [sw02589]
  • MPTP 0.2: Design, implementation, and initial experiments. This...
  • LSTM

  • Referenced in 37 articles [sw03373]
  • The human brain is a recurrent neural network...
  • UCI-ml

  • Referenced in 3451 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • SPSS

  • Referenced in 678 articles [sw04269]
  • SPSS is a computer program used for survey...
  • CRAN

  • Referenced in 570 articles [sw04351]
  • R is ‘GNU S’, a freely available language...
  • alr3

  • Referenced in 296 articles [sw04474]
  • alr3: Data to accompany Applied Linear Regression 3rd...
  • kknn

  • Referenced in 14 articles [sw04563]
  • R package kknn: Weighted k-Nearest Neighbors , Weighted...