Sign in
Knorc Calculus and Its Formal Semantics--To Honor my Friend Prof. Krieg-Brueckner's 66th Birthday.
Ruqian Lu
Published in:
Int. J. Softw. Informatics (2015)
Keyphrases
</>
formal semantics
formal language
social networks
logical language
er model
social network analysis
online social networks
logical reasoning
modeling language
first order logic
operational semantics
ontology languages
theorem prover
speech acts
relational databases
databases
modelling language