2 Hits in 3.1 sec

Saturation-based theorem proving: Past successes and future potential [chapter]

Harald Ganzinger
1996 Lecture Notes in Computer Science  
Used with permission. 121 ABSFOL: a proof checker with abstraction p. 136 SPASS and FLOTTER version 0.42 p. 141 The design of the CADE-13 ATP system competition p. 146 SCAN -Elimination of predicate  ...  a prolog technology theorem prover for default reasoning: a system description p. 293 IMPS: an updated system description p. 298 The tableau-based theorem prover [subscript 3]T[superscript A]P, version  ... 
doi:10.1007/3-540-61511-3_64 fatcat:iizfu32trnfadmj4z7xcvwds5y

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, František Simančík, Ian Horrocks
2018 The Journal of Artificial Intelligence Research  
SPASS & FLOTTER Version 0.42. In McRobbie, M. A., & Slaney, J. K. (Eds.), Proc. of the 13th Int. Conf. on Automated Deduction (CADE-13), Vol. 1104 of LNCS, pp. 141-145, New Brunswick, NJ, USA.  ...  The system was running Fedora release 26, kernel version 4.11.9-300.fc26.x86 64, and Java 1.8.0 update 151.  ... 
doi:10.1613/jair.1.11257 fatcat:uonnkzyq2ve3femcv2ugumkirq