Using temporal logics to express search control knowledge for planning (Q1978242)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Using temporal logics to express search control knowledge for planning
scientific article

    Statements

    Using temporal logics to express search control knowledge for planning (English)
    0 references
    4 June 2000
    0 references
    0 references
    planning
    0 references
    temporal logic
    0 references
    search control knowledge
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references