The Step Failure Semantics.

Dirk Taubner Walter Vogler

Published in: STACS (1987)

Keyphrases

formal semantics
artificial intelligence
web pages
domain knowledge
conceptual graphs
multi step
nonmonotonic logics
highly reliable
failure prediction