Expressing High-Level Scientific Claims with Formal Semantics.

Cristina-Iulia Bucur Tobias Kuhn Davide Ceolin Jacco van Ossenbruggen

Published in: CoRR (2021)

Keyphrases

formal semantics
high level
low level
logical language
modelling language
modeling language
operational semantics
lower layers
er model
theorem prover
formal language
first order logic
logical reasoning
speech acts
ontology languages
knowledge representation
database systems
artificial intelligence