g-HOL: A Graphical User Interface for the HOL Proof Assistant.
Fahd ArshadHassan MehmoodFauzan RazaOsman HasanPublished in: FTSCS (2015)
Keyphrases
- theorem prover
- natural deduction
- higher order logic
- theorem proving
- inference rules
- formal methods
- first order logic
- automated theorem proving
- higher order
- proof search
- logical framework
- mathematical proofs
- test bed
- mobile robot
- information systems
- multi agent systems
- natural language
- conditional logic
- data structure
- artificial intelligence
- genetic algorithm
- data sets