The use of a strategy language for solving search problems

DOI10.1023/A:1018900617693MaRDI QIDQ1601858zbMATH OpenOpenAlexFDO

Authors Peter Borovanský, C. Castro

Publication date 27 June 2002

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018900617693

zbMATH Keywords

constraint satisfactionstrategiesrewriting logiccomputational systems

Mathematics Subject Classification ID

Searching and sorting (68P10) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1231535
• scientific article; zbMATH DE number 1337859
• scientific article; zbMATH DE number 1231676
• An Overview of the Maude Strategy Language and its Applications
• scientific article; zbMATH DE number 1231657

Cited in

(3)

• Erotetic search scenarios and three-valued logic
• Agenda control for heterogeneous reasoners
• Using the Internal Logic of a Topos to Model Search Spaces for Problems

Describes a project that uses

Uses Software

• CLAIRE
• ELAN

This page was built for publication: The use of a strategy language for solving search problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1601858)