Evidence algorithm and sad systems: past and possible future

DOI10.1007/s10559-021-00325-1OpenAlexW3128664173MaRDI QIDQ2043962

Yanyan Li

Publication date: 4 August 2021

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-021-00325-1

zbMATH Keywords

automated reasoningautomated theorem provingevidence algorithmproverSAD system

Mathematics Subject Classification ID

Artificial intelligence (68Txx) Theory of computing (68Qxx) Computer science (68-XX)

Uses Software

• ForTheL

Cites Work

• Unnamed Item
• Evidence algorithm and inference search in first-order logics
• Mathematical Text Processing in EA-style: a Sequent Aspect
• Some problems in the theories of automata and artificial intelligence

This page was built for publication: Evidence algorithm and sad systems: past and possible future