Glushkov's evidence algorithm

DOI10.1007/s10559-013-9534-zzbMath1371.68003OpenAlexW1965825144MaRDI QIDQ466397

Alexander Letichevsky, Marina K. Morokhovets, Alexander Lyaletski

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

zbMATH Keywords

automated theorem provingevidence algorithminference searchautomated proving systemForTheL languageTL language

Mathematics Subject Classification ID

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

Related Items

The role of the Mizar mathematical library for interactive proof development in Mizar

Uses Software

• SAD
• ForTheL

Cites Work

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