Interpreting statutory predicates
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Models and artificial intelligence
WSC '87 Proceedings of the 19th conference on Winter simulation
Learning and reasoning by analogy
Communications of the ACM
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
Chunking in Soar: The Anatomy of a General Learning Mechanism
Machine Learning
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
ACM SIGART Bulletin
ACM SIGART Bulletin
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Analytical features: a knowledge-based approach to audio feature generation
EURASIP Journal on Audio, Speech, and Music Processing
Searching for common sense: populating Cyc™ from the web
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Less than general production system architectures
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Automatic concept formation in pure mathematics
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
BACON: a production system that discovers empirical laws
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
On inheritance in knowledge representation
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
On the discovery of mathematical theorems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
EGS: a transformational approach to automatic example generation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Naive mechanics comprehension and invention in EDISON
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Ascertaining Mathematical Theorems
Electronic Notes in Theoretical Computer Science (ENTCS)
Tagomizer: subject maps meet social bookmarking
TMRA'06 Proceedings of the 2nd international conference on Topic maps research and applications
Issues in knowledge representation for project management
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
A computational account of conceptual blending in basic mathematics
Cognitive Systems Research
| Hi-index | 0.02 |