Proof-Carrying Plans
Authors:
- Christopher SchwaabCSChristopher Schwaab
- Ekaterina KomendantskayaEKEkaterina Komendantskaya
- Alasdair HillAHAlasdair Hill
- František FarkaFFFrantišek Farka
- Ronald P. A. PetrickRPRonald P. A. Petrick
- Joe WellsJWJoe Wells
- Kevin HammondKHKevin Hammond
- 19 December 2018
- book chapter
- Published by Springer Nature
- p. 204-220
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Operational semantics of resolution and productivity in Horn clause logicFormal Aspects of Computing, 2017
- Proof Relevant Corecursive Resolution2016
- Propositions as typesCommunications of the ACM, 2015
- Higher-Order Model Checking: An Overview2015
- Z3: An Efficient SMT Solver2008
- Verification of Plan Models Using UPPAAL2001
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- Proof-carrying code1997
- On Closed World Data Bases1978
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971