figshare
Browse

sorry, we can't preview this file

GTN.thy (1.53 kB)

GTN.thy

Download (1.53 kB)
software
posted on 2018-08-14, 05:12 authored by Zhe HouZhe Hou, Hadrien BRIDEHadrien BRIDE
A formalisation of the Goal Task Network used in GRAVITAS.

History

Usage metrics

    Categories

    Keywords

    IsabelleAI planningTheoretical Computer Science

    Licence

    MIT

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC