Formal reasoning over class models using TOMM.

Juan Jose Mendoza Santana Juliana Küster Filipe Bowles

Published in: J. Object Technol. (2019)

Keyphrases

formal models
probabilistic model
information systems
probabilistic reasoning
genetic algorithm
artificial intelligence
knowledge base
process model
statistical models
model construction
reasoning problems