Abstract
High performance first-order theorem proving is dominated by saturation-based proof procedures. This is true, at least when one looks at competitions like the yearly CASC, the CADE ATP System Competition, where the winners in the CNF division (conjunctive normal form, non-propositional problems) usually use superposition-based calculi. This was different in the early days of CASC, when a tableau prover (SETHEO) even won the MIX category.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baumgartner, P., Furbach, U., Gross-Hardt, M., Sinner, A.: Living Book – Deduction, Slicing, and Interaction. Journal of Automated Reasoning 32(3), 259–286 (2004)
Baumgartner, P., Furbach, U., Niemelä, I.: Hyper tableaux. In: Alferes, J.J., Pereira, L.M., Orlowska, E. (eds.) JELIA 1996. LNCS, vol. 1126, pp. 1–17. Springer, Heidelberg (1996)
Baumgartner, P., Furbach, U., Pelzer, B.: Hyper tableaux with equality. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 492–507. Springer, Heidelberg (2007)
Dong, T., Furbach, U., Glöckner, I., Pelzer, B.: A natural language question answering system as a participant in human Q&A portals. To appear in IJCAI (2011)
Furbach, U., Glöckner, I., Pelzer, B.: An application of automated reasoning in natural language question answering. AI Commun. 23(2-3), 241–265 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Furbach, U. (2011). First-Order Tableaux in Applications (Extended Abstract). In: Brünnler, K., Metcalfe, G. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2011. Lecture Notes in Computer Science(), vol 6793. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22119-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-22119-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22118-7
Online ISBN: 978-3-642-22119-4
eBook Packages: Computer ScienceComputer Science (R0)