Implementing Encapsulated Search for a Lazy Functional Logic Language.
Wolfgang LuxPublished in: Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases
- search algorithm
- programming language
- search space
- dynamic logic
- formal language
- search strategies
- linear temporal logic
- formal theory
- operational semantics
- search strategy
- language learning
- logic programming
- natural language
- user queries
- optimal solution
- modal logic
- computational linguistics
- specification language
- model theoretic
- information retrieval systems
- description logics
- knowledge representation
- agent programming
- functional language