: Towards a Tableau Prover Generation Platform.
Dmitry TishkovskyRenate A. SchmidtMohammad KhodadadiPublished in: PAAR@IJCAR (2012)
Keyphrases
- automated theorem proving
- theorem proving
- description logics
- proof search
- proof procedure
- theorem prover
- computer vision
- metadata
- clustering algorithm
- data structure
- mobile robot
- experimental platform
- distributed architecture
- mobile applications
- real time
- evolutionary algorithm
- objective function
- real world
- neural network