
arenar
 Referenced in 1 article
[sw35218]
 start the server with XAI (Explainable Artificial Intelligence) plots to be generated ondemand...

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 highlevel language and interactive...

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

CommonKADS
 Referenced in 29 articles
[sw01531]
 The reuse of abstract models of problem solving...

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...

UCIml
 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 kNearest 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...

CPlogic
 Referenced in 17 articles
[sw06947]
 CPlogic: 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...