• 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 2 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...
  • 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...
  • Coq

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

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

  • Referenced in 8309 articles [sw00771]
  • R is a language and environment for statistical...
  • MPTP 0.2

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

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

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

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

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

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

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

  • Referenced in 1463 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • WEKA

  • Referenced in 287 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • CP-logic: A language of causal probabilistic events...
  • arulesViz

  • Referenced in 4 articles [sw07326]
  • arulesViz: Visualizing Association Rules and Frequent Itemsets Various...
  • arules

  • Referenced in 18 articles [sw07327]
  • R package arules: Mining Association Rules and Frequent...