Proof Planning with Multiple Strategies

13 years 8 months ago

Download www.activemath.org

The control in multi-strategy proof planning goes beyond the control in other automated theorem proving approaches: not only the selection of the inference and the facts for the next step can be guided by domain-speciﬁc heuristics but also the

Erica Melis, Andreas Meier

Real-time Traffic

Automated Reasoning | CL 2000 | Domain-speciﬁc Heuristics | Multi-strategy Proof Planning | Theorem Proving Approaches |

claim paper

» StrategyProof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds

» A Complete and Scalable Strategy for Coordinating Multiple Robots Within Roadmaps

» Reductio ad Absurdum Planning Proofs by Contradiction

» ImpasseDriven Reasoning in Proof Planning

» StrategyFalsename Proof Protocols for Combinatorial MultiAttribute Procurement Auction

» StrategyProof Voting Rules over Multiissue Domains with Restricted Preferences

» An Optimization Variant of MultiRobot Path Planning Is Intractable

» Supporting the Planning and Organization of Multiple Activities in the Workplace

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	2000
Where	CL
Authors	Erica Melis, Andreas Meier

Comments (0)

Sciweavers

Proof Planning with Multiple Strategies

Automated Reasoning | CL 2000 | Domain-speciﬁc Heuristics | Multi-strategy Proof Planning | Theorem Proving Approaches |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers