The use of a strategy language for solving search problems

Carlos Castro, Peter Borovanský

Research output: Contribution to journalArticle

1 Citation (Scopus)


The ELAN language implements computational systems, a concept that combines rewriting logic with a description of strategies. It can be used to specify and execute non-deterministic rule-based computation for solving various kinds of search problems. This paper presents several examples illustrating different features of the ELAN strategy language from a simple search problem to solving constrained search problems. Concurrent strategies and ELAN process control facilities are illustrated by prototyping the cooperation of solvers.
Original languageEnglish
Pages (from-to)35-64
Number of pages30
JournalAnnals of Mathematics and Artificial Intelligence
Publication statusPublished - 1 Dec 2000

Fingerprint Dive into the research topics of 'The use of a strategy language for solving search problems'. Together they form a unique fingerprint.

  • Cite this