Login / Signup
LEARN: An Alternative Formal Semantics Definition.
George Karakitsos
Eleni Berki
Elli Georgiadou
Published in:
Software Engineering Research and Practice (2003)
Keyphrases
</>
formal semantics
operational semantics
logical language
formal language
modeling language
logical reasoning
er model
first order logic
ontology languages
theorem prover
databases
speech acts
owl dl ontology
epistemic logic
query answering
query language
data model
case study