A Finite Basis for Failure Semantics.

Wan J. Fokkink Sumit Nain

Published in: ICALP (2005)

Keyphrases

starting point
formal semantics
artificial intelligence
logic programming
semantic information
machine learning
metadata
domain knowledge
finite number
success or failure
failure detection
failure prediction
unit length