[HTML][HTML] Translating meaning representations to behavioural interface specifications

IT Leong, R Barbosa - Journal of Systems and Software, 2024 - Elsevier
Higher-order logic can be used for meaning representation in natural language processing
to encode the semantic relationships in text. Alternatively, using a formal specification …

Translating Meaning Representations To Behavioural Interface Specifications

IT Leong, R Barbosa - Available at SSRN 4423847 - papers.ssrn.com
Higher-order logic can be used for meaning representation in natural language processing
(NLP) to encode the semantic relationships in text. Alternatively, using a formal specification …