Formal semantics of UDL/I and its applications to CAD/DA tools.

Hiroto Yasuura Nagisa Ishiura

Published in: ICCD (1990)

Keyphrases

formal semantics
modelling language
first order logic
logical language
formal language
speech acts
logical reasoning
er model
operational semantics
theorem prover
database
integrity constraints
development process
epistemic logic