Login / Signup
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