Author:
Aranda-Corral Gonzalo A.,Borrego-Díaz Joaquín,Galán-Páez Juan
Subject
Applied Mathematics,Artificial Intelligence,Theoretical Computer Science,Software
Reference70 articles.
1. Logical Foundations of Artificial Intelligence;Genesereth,1987
2. Propositional independence - formula-variable independence and forgetting;Lang;J. Artif. Intell. Res.,2003
3. Forget it!;Lin,1994
4. Variable elimination and chaining in a resolution-based prover for inequalities;Bledsoe,1980
5. Forgetting literals with varying propositional symbols;Moinard;J. Log. Comput.,2007
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献