Evidence algorithm and SAD systems: past and possible future

DOI10.1007/S10559-021-00325-1OpenAlexW3128664173MaRDI QIDQ2043962FDOQ2043962

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

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

zbMATH Keywords

automated reasoningautomated theorem provingevidence algorithmproverSAD system

Mathematics Subject Classification ID

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

Cites Work

• Evidence algorithm and inference search in first-order logics
• Title not available (Why is that?)
• Some problems in the theories of automata and artificial intelligence
• Mathematical text processing in EA-style: a sequent aspect

Cited In (6)

• Title not available (Why is that?)
• Mathematical Knowledge Management
• Evidential paradigm: the logical aspect
• Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
• Glushkov's evidence algorithm
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge

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)