Guards, Bounds, and Generalized Semantics.

Johan van Benthem

Published in: J. Log. Lang. Inf. (2005)

Keyphrases

lower bound
formal semantics
upper bound
logic programming
upper and lower bounds
information retrieval
error bounds
information systems
case study
objective function
special case
default logic
conceptual graphs
average case
operational semantics