Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference21 articles.
1. Refutations by matings;Andrews;IEEE Trans. Comput.,1976
2. Theorem proving via general matings;Andrews;J. ACM,1981
3. An approach to a systematic theorem proving procedure in first-order logic;Bibel;Comput.,1974
4. Effizienzvergleiche von Beweisprozeduren, 4th Annual GI Conf.;Bibel,1975
5. A syntactic connection between proof procedures and refutation procedures;Bibel,1977
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Connections in Nonclassical Logics;Handbook of Automated Reasoning;2001
2. Tableaux and Related Methods;Handbook of Automated Reasoning;2001
3. Consequence Finding Algorithms;Handbook of Defeasible Reasoning and Uncertainty Management Systems;2000
4. The Connection Method, Constraints and Model Building;Applied Logic Series;2000
5. An SE-tree-based prime implicant generation algorithm;Annals of Mathematics and Artificial Intelligence;1994-03