A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle.

Liyi Li Elsa L. Gunter

Published in: ICTAC (2021)

Keyphrases

theorem prover
special case
semantic information
cross language information retrieval
formal semantics
high level
machine translation
databases
information systems
logic programming
first order logic
query translation