Structural Analysis of Narratives with the Coq Proof Assistant.
Anne-Gwenn BosserPierre CourtieuJulien ForestMarc CavazzaPublished in: ITP (2011)
Keyphrases
- structural analysis
- theorem prover
- automated theorem proving
- image processing
- test bed
- civil engineering
- three dimensional
- theorem proving
- linear logic
- reinforced concrete
- proof search
- natural deduction
- first order logic
- inference rules
- multiscale
- formal methods
- proof planning
- real time
- evolutionary algorithm
- expert systems
- digital libraries
- learning algorithm
- genetic algorithm
- machine learning
- neural network