The use of a strategy language for solving search problems

DOI10.1023/A:1018900617693zbMath1001.68030OpenAlexW1526285589MaRDI QIDQ1601858

Peter Borovanský, Carlos 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)

Related Items (1)

Agenda control for heterogeneous reasoners

Uses Software

• ELAN
• CLAIRE

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