Producing Symmetrical Facts for lIsts induced by the List Reversal Mapping in Isabelle/HOL (short paper).
Martin RaskaStepán StarostaPublished in: CICM Workshops (2021)
Keyphrases
- theorem prover
- natural deduction
- higher order logic
- theorem proving
- knowledge base
- high quality
- first order logic
- case based reasoning
- inference rules
- information extraction
- computer vision
- database
- higher order
- background knowledge
- ranked list
- probability distribution
- face recognition
- website
- artificial intelligence