A Sufficient Completeness Reasoning Tool for Partial Specifications.

Joe Hendrix Manuel Clavel José Meseguer

Published in: RTA (2005)

Keyphrases

high level
reasoning systems
knowledge base
knowledge representation
user friendly
software tools
reasoning process
model based reasoning
information systems
finite state machines
graphical representation
uncertain information
knowledge representation and reasoning
formal models
reasoning mechanisms