Login / Signup
On the Formal Semantics of the Cognitive Middleware AWDRAT.
Muhammad Taimoor Khan
Dimitrios N. Serpanos
Howard E. Shrobe
Published in:
CoRR (2014)
Keyphrases
</>
formal semantics
logical reasoning
formal language
operational semantics
first order logic
modeling language
logical language
er model
machine learning
modelling language
artificial intelligence
software development
conceptual model
theorem prover
speech acts
ontology languages