A Formal Semantics for Ciset and Ciset Relation Operators.

Premchand S. Nair

Published in: Complex Adaptive Systems (2012)

Keyphrases

formal semantics
logical language
operational semantics
formal language
er model
logical reasoning
first order logic
modeling language
databases
case study
theorem prover
speech acts
ontology languages
modelling language
machine learning
relational databases