A Mechanised Semantics for HOL with Ad-hoc Overloading.

Johannes Åman Pohjola Arve Gengelbach

Published in: CoRR (2020)

Keyphrases

higher order logic
formal semantics
higher order
theorem prover
query processing
semantic information
knowledge base
multi agent systems
expert systems
object oriented
logic programming
conceptual graphs
formal methods
conditional logic