Login / Signup
An Algebraic Approach to Refinement of KBS Specification.
Anca I. Vermesan
Sigurd Meldal
Published in:
EUROVAV (1995)
Keyphrases
</>
knowledge based systems
knowledge base
knowledge representation
high level
formal specification
formal verification
knowledge acquisition
real time
databases
refinement process
specification language
provably correct
database
formal methods
logic programs
website
computer vision
machine learning