Extraction of missing formal assumptions in under-constrained designs.

Guillaume Plassan Katell Morin-Allory Dominique Borrione

Published in: MEMOCODE (2017)

Keyphrases

missing data
information extraction
formal model
formal models
incomplete data
case study
missing values
description logics
formal methods
automatically extracted
automatic extraction
database
website
knowledge base
real world
databases
real time