Describing process plans as the formal semantics of a language of shape.

Kenneth N. Brown Chris A. McMahon J. H. Sims Williams

Published in: Artif. Intell. Eng. (1996)

Keyphrases

formal semantics
logical language
formal language
modeling language
operational semantics
modelling language
process model
speech acts
logical reasoning
machine learning
case study
natural language
data model
first order logic
conceptual model
development process