A Mechanised Semantics for HOL with Ad-hoc Overloading.

Johannes Åman Pohjola Arve Gengelbach

Published in: LPAR (2020)

Keyphrases

higher order logic
formal semantics
theorem prover
logic programming
data sets
artificial intelligence
logical language
real time
high level
web services
semantic relationships
formal methods
neural network
semantic representation
transformation rules
conditional logic
proof theory