Login / Signup
Implementation of EasyTime formal semantics using a LISA compiler generator.
Iztok Fister Jr.
Marjan Mernik
Iztok Fister
Dejan Hrncic
Published in:
Comput. Sci. Inf. Syst. (2012)
Keyphrases
</>
formal semantics
formal language
modeling language
logical language
er model
ontology languages
modelling language
operational semantics
highly optimized
owl dl ontology
machine learning
open source
first order logic
speech acts