The CADE-18 ATP System Competition
Journal of Automated Reasoning
Mathematical applications of inductive logic programming
Machine Learning
User Interaction with the Matita Proof Assistant
Journal of Automated Reasoning
Proof planning with multiple strategies
Artificial Intelligence
Automatic Construction and Verification of Isotopy Invariants
Journal of Automated Reasoning
Using Formal Concept Analysis in Mathematical Discovery
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
A Global Workspace Framework for Combining Reasoning Systems
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
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
Automatic Generation of Implied Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The TM System for Repairing Non-Theorems
Electronic Notes in Theoretical Computer Science (ENTCS)
SOLAR: An automated deduction system for consequence finding
AI Communications - Practical Aspects of Automated Reasoning
CGRASS: a system for transforming constraint satisfaction problems
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Automatic invention of fitness functions with application to scene generation
Evo'08 Proceedings of the 2008 conference on Applications of evolutionary computing
Towards Ontology Use, Re-use and Abuse in a Computational Creativity CollectiveA Position Statement
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Conjecture Synthesis for Inductive Theories
Journal of Automated Reasoning
Managing automatically formed mathematical theories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Predictive and descriptive approaches to learning game rules from vision data
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Automatic construction and verification of isotopy invariants
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Review: learning like a baby: A survey of artificial intelligence approaches
The Knowledge Engineering Review
No photos harmed/growing paths from seed: an exhibition
NPAR '12 Proceedings of the Symposium on Non-Photorealistic Animation and Rendering
Refinement plans for informed formal design
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Mathematical practice, crowdsourcing, and social machines
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |