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
Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Planning Proofs of Equations in CCS
Automated Software Engineering
Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe
Journal of Automated Reasoning
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
Managing Structural Information by Higher-Order Colored Unification
Journal of Automated Reasoning
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Comparing approaches to the exploration of the domain of residue classes
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Critical Agents Supporting Interactive Theorem Proving
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Proofs About Lists Using Ellipsis
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Proof Planning for Feature Interactions: A Preliminary Report
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Searching for Invariants Using Temporal Resolution
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Comparison of Two Proof Critics: Power vs. Robustness
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Science of Reasoning (Extended Abstract)
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Proof Planning with Multiple Strategies
CL '00 Proceedings of the First International Conference on Computational Logic
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Employing Theory Formation to Guide Proof Planning
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Classifying Isomorphic Residue Classes
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Automated Software Engineering
Higher Order Function Synthesis Through Proof Planning
Proceedings of the 16th IEEE international conference on Automated software engineering
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
A task-oriented agent-based mechanism for mathematical assistant systems
Web Intelligence and Agent Systems
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
Feature‐based learning of search‐guiding heuristics for theorem proving
AI Communications
Proof planning with multiple strategies
Artificial Intelligence
Cooperative reasoning for automatic software verification
Proceedings of the second workshop on Automated formal methods
Tool Integration for Reasoned Programming
Verified Software: Theories, Tools, Experiments
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
A review of methods for automatic understanding of natural language mathematical problems
Artificial Intelligence Review
A rational reconstruction and extension of recursion analysis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The specialization and transformation of constructive existence proofs
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Relational rippling: a general approach
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A model of analogy-driven proof-plan construction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reflective reasoning with and between a declarative metatheory and the implementation code
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Solving "how to clear a block" with constructive matching methodology
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
An architecture for proof planning systems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Crystal: Integrating Structured Queries into a Tactic Language
Journal of Automated Reasoning
Adaptable Mixed-Initiative Proof Planning for Educational Interaction
Electronic Notes in Theoretical Computer Science (ENTCS)
Failure Reasoning in Multiple-Strategy Proof Planning
Electronic Notes in Theoretical Computer Science (ENTCS)
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner
Electronic Notes in Theoretical Computer Science (ENTCS)
Recent developments in mega's proof search programming language
ACM Communications in Computer Algebra
Adapting mathematical domain reasoners
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Some encounters on the productive use of a failed proof attempt or a counterexample
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Conjecture Synthesis for Inductive Theories
Journal of Automated Reasoning
Mutation in linked data structures
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Roles of math search in mathematics
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Synthesizing proof planning methods and Ω-ants agents from mathematical knowledge
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Impasse-driven reasoning in proof planning
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Reductio ad absurdum: planning proofs by contradiction
Reasoning, Action and Interaction in AI Theories and Systems
Reasoning, Action and Interaction in AI Theories and Systems
Reasoned modelling critics: turning failed proofs into modelling guidance
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Automating proofs in category theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Proof planning for first-order temporal logic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
System description: MULTI a multi-strategy proof planner
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
The CORE system: Animation and functional correctness of pointer programs
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
The use of theorem provers in the teaching and practice of formal methods
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
The role of proof in a formal specification of the speedway rulebook
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
On the automated correction of security protocols susceptible to a replay attack
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Reasoned modelling critics: Turning failed proofs into modelling guidance
Science of Computer Programming
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.01 |