Situations in LTL as strings

DOI10.1016/j.ic.2008.11.003zbMath1187.68631OpenAlexW2069835791MaRDI QIDQ731890

Tim Fernando

Publication date: 9 October 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.11.003

zbMATH Keywords

natural language semanticsstringLTLsituation

Mathematics Subject Classification ID

Natural language processing (68T50)

Related Items

Constructing situations and time ⋮ Frames as Records

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Records and Record Types in Semantic Theory
• A Finite-state Approach to Events in Natural Language Semantics
• Finite-State Temporal Projection

This page was built for publication: Situations in LTL as strings