Glushkov's evidence algorithm

DOI10.1007/S10559-013-9534-ZzbMATH Open1371.68003OpenAlexW1965825144MaRDI QIDQ466397FDOQ466397

Authors: A. A. Letichevskij, Alexander Lyaletski, Marina K. Morokhovets 

Publication date: 27 October 2014

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

Full work available at URL: https://doi.org/10.1007/s10559-013-9534-z

Recommendations

• The evidence algorithm and problems of representation and processing of mathematical computer knowledge
• Evidence algorithm and SAD systems: past and possible future
• Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
• Evidential paradigm: the logical aspect
• Alphabet operators and algorithms

zbMATH Keywords

automated theorem provingevidence algorithminference searchautomated proving systemForTheL languageTL language

Mathematics Subject Classification ID

History of computer science (68-03) General topics in artificial intelligence (68T01)

Cites Work

• System for Automated Deduction (SAD): A Tool for Proof Verification
• SAD as a mathematical assistant -- how should we go from here to there?
• THE ABSTRACT THEORY OF AUTOMATA
• Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some problems in the theories of automata and artificial intelligence
• Handbook of automated reasoning. In 2 vols
• Toward Mechanical Mathematics
• Computations in APS
• Title not available (Why is that?)
• Algebra of behavior transformations and its applications
• Strategies of the search for derivation of statements with restricted quantifiers
• Title not available (Why is that?)
• Deduction-seeking procedures and transitive relations
• Proof theory in the USSR 1925–1969
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Correctness of Mathematical Texts from a Logical and Practical Point of View
• Title not available (Why is that?)

Cited In (4)

• Recreating Glushkov's idea
• Evidence algorithm and SAD systems: past and possible future
• The role of the Mizar mathematical library for interactive proof development in Mizar
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge

Uses Software

• SAD
• ForTheL

This page was built for publication: Glushkov's evidence algorithm

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