Modeling and Reasoning with Multirelations, and their encoding in Alloy.

Peiyuan Sun Zinovy Diskin Michal Antkiewicz Krzysztof Czarnecki

Published in: OCL@MoDELS (2016)

Keyphrases

knowledge representation
qualitative reasoning
learning algorithm
artificial intelligence
knowledge base
data sets
model construction
variable length
mechanical properties
analogical reasoning
formal models
uncertain information
meta level
modeling language
petri net
decision making
neural network