Completeness Results for Two-sorted Metric Temporal Logics
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
Derivability in Locally Quantified Modal Logics via Translation in Set Theory
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Presburger modal logic is PSPACE-Complete
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Hi-index | 0.00 |
Can an AI program contribute to scientific discovery? An area where this gauntlet has been thrown is that of understanding the mechanisms of chemical carcinogenesis. One approach is to obtain Structure-Activity Relationships (SARs) relating molecular ...