A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity, Proceedings of the 4th International Conference on Mathematical Knowledge Management, number 3863 in Lecture Notes in Artificial Intelligence, pp.126-142, 2006. ,
DOI : 10.1007/11618027_9
Linear-Time Reductions of Resolution Proofs, Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing, number 5394 in Lecture Notes in Computer Science, pp.114-128, 2009. ,
DOI : 10.1007/3-540-44798-9_4
PDS -A Three-Dimensional Data Structure for Proof Plans, Proceedings of the International Conference on Artificial and Computational Intelligence, pp.144-149, 2000. ,
An Interactive Proof Explainer, Proceedings of the International Joint Conference on Automated Reasoning, number 2083 in Lecture Notes in Artificial Intelligence, pp.416-420, 2001. ,
Compression of Propositional Resolution Proofs via Partial Regularization, Proceedings of the 23rd International Conference on Automated Deduction, 2011. ,
DOI : 10.1007/978-3-642-14186-7_26
URL : https://hal.archives-ouvertes.fr/inria-00617846
Proofs and Types, 1989. ,
Sine Qua Non for Large Theory Reasoning, Proceedings of the 23rd International Conference on Automated Deduction, 2011. ,
DOI : 10.1007/978-3-642-15582-6_30
First-Order Proof Tactics in Higher-Order Logic Theorem Provers, Proceedings of the 1st International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics, number NASA/CP-2003-212448 in NASA Technical Reports, pp.56-68, 2003. ,
OMDoc -An Open Markup Format for Mathematical Documents [version 1.2]. Number 4180 in Lecture Notes in Artificial Intelligence, 2006. ,
Ivy: A Preprocessor and Proof Checker for First-Order Logic, Computer-Aided Reasoning: ACL2 Case Studies, number 4 in Advances in Formal Methods, pp.265-282, 2000. ,
DOI : 10.1007/978-1-4757-3188-0_16
OWL Web Ontology Language Overview, World Wide Web Consortium (W3C) Recommendation, 2004. ,
Clustering in weighted networks, Social Networks, vol.31, issue.2, pp.155-163, 2009. ,
DOI : 10.1016/j.socnet.2009.02.002
A Proof Markup Language for Semantic Web Services, Information Systems, vol.31, pp.4-5381, 2006. ,
Presenting TSTP Proofs with Inference Web Tools, Proceedings of the Workshop on Practical Aspects of Automated Reasoning, 4th International Joint Conference on Automated Reasoning, number 373 in CEUR Workshop Proceedings, pp.81-93, 2008. ,
The Design and Implementation of Vampire, pp.91-110, 2002. ,
An Efficient and Flexible Approach to Resolution Proof Reduction, Proceedings of the 6th International Conference on Hardware and Software: Verification and Testing, number 6504 in Lecture Notes in Computer Science, pp.182-196, 2011. ,
DOI : 10.1007/978-3-642-19583-9_17
Proof step analysis for proof tutoring - a learning approach to granularity, Teaching Mathematics and Computer Science, vol.6, issue.2, pp.325-343, 2008. ,
DOI : 10.5485/TMCS.2008.0183
SEMANTIC DERIVATION VERIFICATION: TECHNIQUES AND IMPLEMENTATION, International Journal on Artificial Intelligence Tools, vol.15, issue.06, pp.1053-1070, 2006. ,
DOI : 10.1142/S0218213006003119
The TPTP Problem Library and Associated Infrastructure, Journal of Automated Reasoning, vol.13, issue.2, pp.337-362, 2009. ,
DOI : 10.1007/s10817-009-9143-8
Different Proofs are Good Proofs, Proceedings of the IJCAR 2010 Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions, 2010. ,
Using the TPTP Language for Writing Derivations and Finite Interpretations, Proceedings of the 3rd International Joint Conference on Automated Reasoning, number 4130 in Lecture Notes in Artificial Intelligence, pp.67-81, 2006. ,
DOI : 10.1007/11814771_7
An Interactive Derivation Viewer, Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 3rd International Joint Conference on Automated Reasoning, pp.109-123, 2006. ,
DOI : 10.1016/j.entcs.2006.09.025