Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236)

From MaRDI portal
scientific article; zbMATH DE number 6999521
Language Label Description Also known as
English
Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison
scientific article; zbMATH DE number 6999521

    Statements

    Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (English)
    0 references
    10 January 2019
    0 references
    theorem proving
    0 references
    linear connection
    0 references
    Horn clause
    0 references
    frame problem
    0 references
    proof search
    0 references
    0 references
    0 references

    Identifiers