The use of a strategy language for solving search problems. Annals of Mathematics and Artificial Intelligence, 29(1-4):35-64, 2000.
abstract   bibtex   
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.
@article{0034560707,
    abstract = "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.",
    number = "1-4",
    year = "2000",
    title = "The use of a strategy language for solving search problems",
    volume = "29",
    pages = "35-64",
    journal = "Annals of Mathematics and Artificial Intelligence"
}

Downloads: 0