Shortest Single Axioms for the Equivalential Calculus with CD and RCD
Journal of Automated Reasoning
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Towards light semantic processing for Question Answering
HLT-NAACL-TEXTMEANING '03 Proceedings of the HLT-NAACL 2003 workshop on Text meaning - Volume 9
Finding Minimal Unsatisfiable Cores of Declarative Specifications
FM '08 Proceedings of the 15th international symposium on Formal Methods
Recognizing textual entailment via atomic propositions
MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
Gibbard's collapse theorem for the indicative conditional: an axiomatic approach
Automated Reasoning and Mathematics
Hi-index | 0.00 |