FoCaLiZe and Dedukti to the Rescue for Proof Interoperability.
Raphaël CauderlierCatherine DuboisPublished in: ITP (2017)
Keyphrases
- information systems
- metadata
- theorem proving
- web services
- theorem prover
- proof planning
- disaster relief
- data sets
- expert systems
- search and rescue
- semantic web
- interoperability issues
- complete axiomatization
- emergency services
- information integration
- mathematical proofs
- geometry theorem proving
- linear logic
- semantic interoperability
- information sharing
- social networks
- search engine
- neural network
- databases