KIV 3.0 for Provably Correct Systems.

Michael Balser Wolfgang Reif Gerhard Schellhorn Kurt Stenzel

Published in: FM-Trends (1998)

Keyphrases

provably correct
expert systems
formal methods
data sets
knowledge base
retrieval systems
information retrieval
intelligent systems
situation calculus