Evidence algorithm and SAD systems: past and possible future

DOI10.1007/S10559-021-00325-1MaRDI QIDQ2043962OpenAlexFDO

Authors 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

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

Recommendations

• Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
• scientific article; zbMATH DE number 2079533
• Mathematical Knowledge Management
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge
• Glushkov's evidence algorithm

Cites work

• scientific article; zbMATH DE number 3344563 (Why is no real title available?)
• 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

Cited in

(6)

• Glushkov's evidence algorithm
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge
• Evidential paradigm: the logical aspect
• scientific article; zbMATH DE number 2079533 (Why is no real title available?)
• Mathematical Knowledge Management
• Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)

Describes a project that uses

Uses Software

• ForTheL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2043962)