DISCOUNT: A SYstem for Distributed Equational Deduction
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Goal Oriented Equational Theorem Proving Using Team Work
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Planning for Distributed Theorem Proving: The Teamwork Approach
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
The Design of the CADE-13 ATP System Competition
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Experiments in the Heuristic Use of Past Proof Experience
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
A Maximal-Literal Unit Strategy for Horn Clauses
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
A feature-based learning method for theorem proving
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Feature‐based learning of search‐guiding heuristics for theorem proving
AI Communications
TPTP, CASC and the development of a semantically guided theorem prover
AI Communications - CASC
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Cooperation of heterogeneous provers
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
A meta-heuristic paradigm for solving the forward kinematics of 6-6 general parallel manipulator
CIRA'09 Proceedings of the 8th IEEE international conference on Computational intelligence in robotics and automation
Scheduling English football fixtures over the holiday period using hyper-heuristics
PPSN'10 Proceedings of the 11th international conference on Parallel problem solving from nature: Part I
An investigation of selection hyper-heuristics in dynamic environments
EvoApplications'11 Proceedings of the 2011 international conference on Applications of evolutionary computation - Volume Part I
Neural networks to guide the selection of heuristics within constraint satisfaction problems
MCPR'11 Proceedings of the Third Mexican conference on Pattern recognition
HYPERION: a recursive hyper-heuristic framework
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
Variable and value ordering decision matrix hyper-heuristics: a local improvement approach
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
PPSN'12 Proceedings of the 12th international conference on Parallel Problem Solving from Nature - Volume Part II
Machine learning approach to enhance the design of automated theorem provers
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part II
Learning vector quantization for variable ordering in constraint satisfaction problems
Pattern Recognition Letters
A Multi-agent Based Self-adaptive Genetic Algorithm for the Long-term Car Pooling Problem
Journal of Mathematical Modelling and Algorithms
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Is the meta-EA a viable optimization method?
Proceedings of the 15th annual conference on Genetic and evolutionary computation
| 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 ...