Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904694895> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2904694895 endingPage "220" @default.
- W2904694895 startingPage "204" @default.
- W2904694895 abstract "It is becoming increasingly important to verify safety and security of AI applications. While declarative languages (of the kind found in automated planners and model checkers) are traditionally used for verifying AI systems, a big challenge is to design methods that generate verified executable programs. A good example of such a “verification to implementation” cycle is given by automated planning languages like PDDL, where plans are found via a model search in a declarative language, but then interpreted or compiled into executable code in an imperative language. In this paper, we show that this method can itself be verified. We present a formal framework and a prototype Agda implementation that represent PDDL plans as executable functions that inhabit types that are given by formulae describing planning problems. By exploiting the well-known Curry-Howard correspondence, type-checking then automatically ensures that the generated program corresponds precisely to the specification of the planning problem." @default.
- W2904694895 created "2018-12-22" @default.
- W2904694895 creator A5026643182 @default.
- W2904694895 creator A5027495273 @default.
- W2904694895 creator A5041160841 @default.
- W2904694895 creator A5042218420 @default.
- W2904694895 creator A5075804455 @default.
- W2904694895 creator A5083304815 @default.
- W2904694895 creator A5085737296 @default.
- W2904694895 date "2018-12-19" @default.
- W2904694895 modified "2023-09-27" @default.
- W2904694895 title "Proof-Carrying Plans" @default.
- W2904694895 cites W1480909796 @default.
- W2904694895 cites W1481705907 @default.
- W2904694895 cites W1525341697 @default.
- W2904694895 cites W2034711041 @default.
- W2904694895 cites W2045474169 @default.
- W2904694895 cites W2105486835 @default.
- W2904694895 cites W2186501980 @default.
- W2904694895 cites W2277609624 @default.
- W2904694895 cites W2337392266 @default.
- W2904694895 cites W2421447953 @default.
- W2904694895 cites W2507158969 @default.
- W2904694895 cites W2609733783 @default.
- W2904694895 cites W2651218488 @default.
- W2904694895 cites W2904694895 @default.
- W2904694895 doi "https://doi.org/10.1007/978-3-030-05998-9_13" @default.
- W2904694895 hasPublicationYear "2018" @default.
- W2904694895 type Work @default.
- W2904694895 sameAs 2904694895 @default.
- W2904694895 citedByCount "4" @default.
- W2904694895 countsByYear W29046948952018 @default.
- W2904694895 countsByYear W29046948952020 @default.
- W2904694895 countsByYear W29046948952021 @default.
- W2904694895 countsByYear W29046948952022 @default.
- W2904694895 crossrefType "book-chapter" @default.
- W2904694895 hasAuthorship W2904694895A5026643182 @default.
- W2904694895 hasAuthorship W2904694895A5027495273 @default.
- W2904694895 hasAuthorship W2904694895A5041160841 @default.
- W2904694895 hasAuthorship W2904694895A5042218420 @default.
- W2904694895 hasAuthorship W2904694895A5075804455 @default.
- W2904694895 hasAuthorship W2904694895A5083304815 @default.
- W2904694895 hasAuthorship W2904694895A5085737296 @default.
- W2904694895 hasBestOaLocation W29046948952 @default.
- W2904694895 hasConcept C127413603 @default.
- W2904694895 hasConcept C199343813 @default.
- W2904694895 hasConcept C199360897 @default.
- W2904694895 hasConcept C199639397 @default.
- W2904694895 hasConcept C2777686260 @default.
- W2904694895 hasConcept C41008148 @default.
- W2904694895 hasConcept C71924100 @default.
- W2904694895 hasConceptScore W2904694895C127413603 @default.
- W2904694895 hasConceptScore W2904694895C199343813 @default.
- W2904694895 hasConceptScore W2904694895C199360897 @default.
- W2904694895 hasConceptScore W2904694895C199639397 @default.
- W2904694895 hasConceptScore W2904694895C2777686260 @default.
- W2904694895 hasConceptScore W2904694895C41008148 @default.
- W2904694895 hasConceptScore W2904694895C71924100 @default.
- W2904694895 hasLocation W29046948951 @default.
- W2904694895 hasLocation W29046948952 @default.
- W2904694895 hasOpenAccess W2904694895 @default.
- W2904694895 hasPrimaryLocation W29046948951 @default.
- W2904694895 hasRelatedWork W1491366424 @default.
- W2904694895 hasRelatedWork W1527862632 @default.
- W2904694895 hasRelatedWork W1652311832 @default.
- W2904694895 hasRelatedWork W2109507516 @default.
- W2904694895 hasRelatedWork W2118300983 @default.
- W2904694895 hasRelatedWork W2135396778 @default.
- W2904694895 hasRelatedWork W2740990710 @default.
- W2904694895 hasRelatedWork W3137189469 @default.
- W2904694895 hasRelatedWork W4235530921 @default.
- W2904694895 hasRelatedWork W4243252198 @default.
- W2904694895 isParatext "false" @default.
- W2904694895 isRetracted "false" @default.
- W2904694895 magId "2904694895" @default.
- W2904694895 workType "book-chapter" @default.