Towards a formal semantics of verbal irony.

Julian J. Schlöder

Published in: FADLI@ESSLLI (2017)

Keyphrases

formal semantics
modeling language
logical reasoning
er model
first order logic
logical language
formal language
theorem prover
operational semantics
owl dl ontology
ontology languages
speech acts
high level
reasoning problems
epistemic logic
expressive power
domain knowledge
relational databases