Mechanical theorem proving in the USSR; the Leningrad school
Mechanical theorem proving in the USSR; the Leningrad school
Proof theory in the USSR 1925-1969
Journal of Symbolic Logic
Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Evidence Algorithm and Sequent Logical Inference Search
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Model for Interaction of Agents and Environments
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities
Proceedings of the IIS'2002 Symposium on Intelligent Information Systems
Consistency Checking of Automata Functional Specifications
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Handbook of automated reasoning
Handbook of automated reasoning
System for Automated Deduction (SAD): A Tool for Proof Verification
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
On Correctness of Mathematical Texts from a Logical and Practical Point of View
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi
SYNASC '08 Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
IBM Journal of Research and Development
| Hi-index | 0.00 |
Glushkov's general approaches to the problem of artificial intelligence are considered. In particular, the history of research conducted in line with the Evidence Algorithm program initiated by V. M. Glushkov is described in detail. The results obtained within this program are analyzed.