Author:
Bender Markus,Pelzer Björn,Schon Claudia
Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann Publishers Inc., San Francisco (1988)
2. Armando, A., Bonacina, M.P., Ranise, S., Schulz, S.: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. (2009)
3. Baaz, M., Fermüller, C.G.: Resolution-based theorem proving for manyvalued logics. J. Symb. Comput. (1995)
4. Bachmair, L., Ganzinger, H.: Equational reasoning in saturation-based theorem proving. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction — A Basis for Applications. Kluwer (1998)
5. Lecture Notes in Artificial Intelligence;P. Baumgartner,2004
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Craig Interpolation with Clausal First-Order Tableaux;Journal of Automated Reasoning;2021-05-27
2. Negation in Cognitive Reasoning;KI 2021: Advances in Artificial Intelligence;2021
3. Using ConceptNet to Teach Common Sense to an Automated Theorem Prover;Electronic Proceedings in Theoretical Computer Science;2019-12-31
4. The CoRg Project: Cognitive Reasoning;KI - Künstliche Intelligenz;2019-07-01
5. Cognitive Reasoning: A Personal View;KI - Künstliche Intelligenz;2019-06-29