System Description: A Semantics-Aware LaTeX-to-Office Converter.
Lukas KohlhaseMichael KohlhasePublished in: CICM (2014)
Keyphrases
- precise definition
- action descriptions
- semantic representation
- formal semantics
- semantic information
- data sets
- logic programming
- control method
- graphical representation
- microsoft office
- office environment
- semantically annotated
- data conversion
- high voltage
- conceptual model
- conceptual graphs
- real time
- data sources
- mathematical expressions
- control system