On a formal semantics of tabular expressions.

Ryszard Janicki Ridha Khédri

Published in: Sci. Comput. Program. (2001)

Keyphrases

formal semantics
er model
logical language
formal language
facial expressions
first order logic
operational semantics
modeling language
theorem prover
modelling language
natural language
logical reasoning
ontology languages
epistemic logic
speech acts
machine learning
integrity constraints
artificial intelligence